Merge pull request #14858 from Tithugues/feature/these-configurations-doesnt-exist-anymore

These configurations don't exist anymore in PHP 7.1

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');