From 237773e9369782202ffbfc6a92dceb7d034d457e Mon Sep 17 00:00:00 2001 From: Owen Herbert Date: Mon, 13 Apr 2026 10:53:10 +1000 Subject: [PATCH] Change !is_null to isset --- session.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/session.php b/session.php index c59c27d..587c50b 100644 --- a/session.php +++ b/session.php @@ -114,7 +114,7 @@ } // If save and continue button pressed, find next observation point to redirect to. - if (!is_null($fromform->saveandnext)) { + if (isset($fromform->saveandnext)) { $allpointids = array_column($observationpoints, 'point_id'); $index = array_search($pointid, $allpointids); @@ -191,7 +191,7 @@ $fromform = $markingform->get_submitted_data(); // Cancel / abandon observation button pressed. - if (!is_null($fromform->abandonbutton)) { + if (isset($fromform->abandonbutton)) { // If no confirmation yet, display confirmation dialog. if ($confirmcancel === null) { echo $OUTPUT->confirm( @@ -203,7 +203,7 @@ } // Submit observation button pressed. - if (!is_null($fromform->submitobservation)) { + if (isset($fromform->submitobservation)) { // If no confirmation yet, display confirmation dialog. if ($confirmsubmit === null) {