From 79e71d3e65f4337b5e02c6cbe6977995575cbbf9 Mon Sep 17 00:00:00 2001
From: Hugues Peccatte <hugues.peccatte@gmail.com>
Date: Sat, 12 Jan 2019 23:43:06 +0100
Subject: [PATCH] And this one is removed in PHP 7.1

Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>
---
 libraries/classes/Session.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/libraries/classes/Session.php b/libraries/classes/Session.php
index 90a770dfe7bd..401733046f97 100644
--- a/libraries/classes/Session.php
+++ b/libraries/classes/Session.php
@@ -168,9 +168,6 @@ public static function setUp(Config $config, ErrorHandler $errorHandler)
         // delete session/cookies when browser is closed
         ini_set('session.cookie_lifetime', '0');
 
-        // 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');