MediaWiki  1.23.1
clientpool Directory Reference

Files

file  RedisConnectionPool.php [code]
 Redis client connection pooling manager.