reference/session/functions/session-regenerate-id.xml
a0ae28d3bc85f927c22649ebd9a590b921534b7d
...
...
@@ -91,7 +91,7 @@ if (isset($_SESSION['destroyed'])
91
91
$old_sessionid = session_id();
92
92

93
93
// Set destroyed timestamp
94
-
$_SESSION['destroyed'] = time(); // Since PHP 7.0.0 and up, session_regenerate_id() saves old session data
94
+
$_SESSION['destroyed'] = time(); // session_regenerate_id() saves old session data
95
95

96
96
// Simply calling session_regenerate_id() may result in lost session, etc.
97
97
// See next example.
98
98