From 916bdf2924350fbd9416a8a3839ae2d196c094d7 Mon Sep 17 00:00:00 2001 From: Dan Marsden Date: Tue, 7 Jul 2020 15:27:33 +1200 Subject: [PATCH] Fix #479 PHP 7.4 fix for array_key_exists() --- classes/page_with_filter_controls.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/classes/page_with_filter_controls.php b/classes/page_with_filter_controls.php index 22f7ab5..6e1fe91 100644 --- a/classes/page_with_filter_controls.php +++ b/classes/page_with_filter_controls.php @@ -171,7 +171,7 @@ class mod_attendance_page_with_filter_controls { private function calc_sessgroupslist_sesstype() { global $SESSION; - if (!array_key_exists('attsessiontype', $SESSION)) { + if (!property_exists('attsessiontype', $SESSION)) { $SESSION->attsessiontype = array($this->cm->course => self::SESSTYPE_ALL); } else if (!array_key_exists($this->cm->course, $SESSION->attsessiontype)) { $SESSION->attsessiontype[$this->cm->course] = self::SESSTYPE_ALL;