mirror_php/moodle
1
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-01-19 06:18:28 +01:00
Code Issues Projects Releases Wiki Activity

MDL-44299 resolve collision with session_gc() in PHP 5.6

Browse Source
This commit is contained in:
Petr Škoda 2014-03-12 10:43:30 +08:00
parent 0a489777fc
commit 1985ef8342
1 changed files with 0 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
lib/deprecatedlib.php
View File

@ -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.
*