diff index.php @ 58:082a19037887 default tip

More cleaning up php8 Warnings/deprecations
author Charlie Root
date Wed, 15 Oct 2025 14:06:01 -0400
parents 91f005a4f7e9
children
line wrap: on
line diff
--- a/index.php	Wed Oct 08 09:33:13 2025 -0400
+++ b/index.php	Wed Oct 15 14:06:01 2025 -0400
@@ -222,7 +222,7 @@
         $session_error = true;
     }
 
-    if ($session_error || $_REQUEST['_err'] == 'session') {
+    if ($session_error || ($_REQUEST['_err']??null) == 'session') {
         $OUTPUT->show_message('sessionerror', 'error', null, true, -1);
     }