Apply the temporary fix from #1158

The issue seems to still be in place.
simplesamlphp · Nov 2, 2019 · 43213fb · 43213fb
1 parent 86cd5ff
commit 43213fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/SimpleSAML/SessionHandlerPHP.php b/lib/SimpleSAML/SessionHandlerPHP.php
@@ -163,7 +163,7 @@ public function restorePrevious()
     public function newSessionId()
     {
         // generate new (secure) session id
-        if (function_exists('session_create_id')) {
+        if (function_exists('session_create_id') && version_compare(PHP_VERSION, '7.2', '<')) {
             $sid_length = (int) ini_get('session.sid_length');
             $sid_bits_per_char = (int) ini_get('session.sid_bits_per_character');