diff options
author | Andrey Andreev <narf@devilix.net> | 2022-02-22 11:16:26 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2022-02-22 11:16:26 +0100 |
commit | d4b15bcdbd6a06e01d8de927c1d26f8f5bc4ed6c (patch) | |
tree | 182d0c9991edf51bc0772954153f0a87157762f9 /system/libraries/Session/Session.php | |
parent | c7bf8487eafdaeeb137401eb6f63022ec8798f31 (diff) |
[ci skip] SessionUpdateTimestampHandlerInterface
Diffstat (limited to 'system/libraries/Session/Session.php')
-rw-r--r-- | system/libraries/Session/Session.php | 2 |
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'; |