diff options
| -rw-r--r-- | .gitattributes | 3 | ||||
| -rw-r--r-- | system/libraries/Cache/drivers/Cache_redis.php | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes index 51fea4174..a4296d591 100644 --- a/.gitattributes +++ b/.gitattributes @@ -20,3 +20,6 @@ tests/travis/ export-ignore # User Guide Source Files user_guide_src + +# User Guide Compiled Files +user_guide export-ignore diff --git a/system/libraries/Cache/drivers/Cache_redis.php b/system/libraries/Cache/drivers/Cache_redis.php index 3c4c23d3b..9dbe52844 100644 --- a/system/libraries/Cache/drivers/Cache_redis.php +++ b/system/libraries/Cache/drivers/Cache_redis.php @@ -98,7 +98,7 @@ class CI_Cache_redis extends CI_Driver return; } - isset(static::$_delete_name) OR static::$_delete_name = version_compare(phpversion('phpredis'), '5', '>=') + isset(static::$_delete_name) OR static::$_delete_name = version_compare(phpversion('redis'), '5', '>=') ? 'del' : 'delete'; |