summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/libraries
diff options
context:
space:
mode:
authorkakysha <ezhikvdele@gmail.com>2013-10-29 00:59:30 +0100
committerkakysha <ezhikvdele@gmail.com>2013-10-29 00:59:30 +0100
commit34565a7299fa12e951f8e4b40164b8f34d17de23 (patch)
treea937f6ab131e432c0c8f5ce763b85324d79e3e2e /user_guide_src/source/libraries
parentf06864ca1442101d2d3644b5b0948ce5dfcd097f (diff)
Update caching.rst
Diffstat (limited to 'user_guide_src/source/libraries')
-rw-r--r--user_guide_src/source/libraries/caching.rst2
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.