diff options
| -rw-r--r-- | user_guide_src/source/libraries/caching.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/libraries/caching.rst b/user_guide_src/source/libraries/caching.rst index 10d0e84d7..9c588f29e 100644 --- a/user_guide_src/source/libraries/caching.rst +++ b/user_guide_src/source/libraries/caching.rst @@ -240,7 +240,7 @@ Redis Caching ============= Redis is an in-memory key-value store which can operate in LRU cache mode. -To use it, you need Redis server and any Redis PHP extension, e.g. this one +To use it, you need Redis server and phpredis PHP extension `https://github.com/nicolasff/phpredis <https://github.com/nicolasff/phpredis>`_. Config options to connect to redis server must be stored in the application/config/redis.php file. |