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