diff --git a/search/classes/manager.php b/search/classes/manager.php index b2354d4a77c..bbb81080e81 100644 --- a/search/classes/manager.php +++ b/search/classes/manager.php @@ -617,6 +617,8 @@ class manager { static::$allsearchareas = null; static::$instance = null; static::$searchareacategories = null; + static::$coursedeleting = []; + static::$phpunitfaketime = null; base_block::clear_static(); engine::clear_users_cache();