From b459838606436ec76da93119f1cee173eba3abbc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Fri, 24 Nov 2017 09:33:55 +0100
Subject: [PATCH] Unset all session entries on creating new session
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Issue #13828

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 libraries/classes/Session.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Session.php b/libraries/classes/Session.php
index 28168c5399..b3c53e665f 100644
--- a/libraries/classes/Session.php
+++ b/libraries/classes/Session.php
@@ -55,7 +55,7 @@ class Session
             session_regenerate_id(true);
         }
         // continue with empty session
-        $_SESSION = [];
+        session_unset();
         self::generateToken();
     }