diff --git a/lib/phpunit/classes/util.php b/lib/phpunit/classes/util.php index 94ec4414dbe9b..5fd93c29ce652 100644 --- a/lib/phpunit/classes/util.php +++ b/lib/phpunit/classes/util.php @@ -203,6 +203,9 @@ public static function reset_all_data($detectchanges = false) { $ME = null; $SCRIPT = null; $FILTERLIB_PRIVATE = null; + if (!empty($SESSION->notifications)) { + $SESSION->notifications = []; + } // Empty sessison and set fresh new not-logged-in user. \core\session\manager::init_empty_session();