diff --git a/libraries/classes/Session.php b/libraries/classes/Session.php
index 40628b17b6..401733046f 100644
--- a/libraries/classes/Session.php
+++ b/libraries/classes/Session.php
@@ -168,13 +168,6 @@ class Session
         // delete session/cookies when browser is closed
         ini_set('session.cookie_lifetime', '0');
 
-        // warn but don't work with bug
-        ini_set('session.bug_compat_42', 'false');
-        ini_set('session.bug_compat_warn', 'true');
-
-        // use more secure session ids
-        ini_set('session.hash_function', '1');
-
         // some pages (e.g. stylesheet) may be cached on clients, but not in shared
         // proxy servers
         session_cache_limiter('private');