From 1985ef83420a1db9d2251583e224c613d5a7c7e8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20=C5=A0koda?= Date: Wed, 12 Mar 2014 10:43:30 +0800 Subject: [PATCH] MDL-44299 resolve collision with session_gc() in PHP 5.6 --- lib/deprecatedlib.php | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/lib/deprecatedlib.php b/lib/deprecatedlib.php index 8a4916b17a0..c4d29a965fb 100644 --- a/lib/deprecatedlib.php +++ b/lib/deprecatedlib.php @@ -203,19 +203,6 @@ function session_kill_user($userid) { \core\session\manager::kill_user_sessions($userid); } -/** - * Session garbage collection - * - verify timeout for all users - * - kill sessions of all deleted users - * - kill sessions of users with disabled plugins or 'nologin' plugin - * - * @deprecated since 2.6 - */ -function session_gc() { - debugging('session_gc() is deprecated, use \core\session\manager::gc() instead', DEBUG_DEVELOPER); - \core\session\manager::gc(); -} - /** * Setup $USER object - called during login, loginas, etc. *