summaryrefslogtreecommitdiffstats
path: root/system/libraries/Session/Session.php
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2022-02-22 11:16:26 +0100
committerAndrey Andreev <narf@devilix.net>2022-02-22 11:16:26 +0100
commitd4b15bcdbd6a06e01d8de927c1d26f8f5bc4ed6c (patch)
tree182d0c9991edf51bc0772954153f0a87157762f9 /system/libraries/Session/Session.php
parentc7bf8487eafdaeeb137401eb6f63022ec8798f31 (diff)
[ci skip] SessionUpdateTimestampHandlerInterface
Diffstat (limited to 'system/libraries/Session/Session.php')
-rw-r--r--system/libraries/Session/Session.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/system/libraries/Session/Session.php b/system/libraries/Session/Session.php
index 68dc0ab63..a211ce31b 100644
--- a/system/libraries/Session/Session.php
+++ b/system/libraries/Session/Session.php
@@ -207,6 +207,8 @@ class CI_Session {
{
// PHP 5.4 compatibility
interface_exists('SessionHandlerInterface', FALSE) OR require_once(BASEPATH.'libraries/Session/SessionHandlerInterface.php');
+ // PHP 7 compatibility
+ interface_exists('SessionUpdateTimestampHandlerInterface', FALSE) OR require_once(BASEPATH.'libraries/Session/SessionUpdateTimestampHandlerInterface.php');
require_once(BASEPATH.'libraries/Session/CI_Session_driver_interface.php');
$wrapper = is_php('8.0') ? 'PHP8SessionWrapper' : 'OldSessionWrapper';