Move RedisConnectionPool to /libs/redis
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 23 Sep 2016 07:20:19 +0000 (00:20 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 23 Sep 2016 07:20:19 +0000 (00:20 -0700)
commit10593ffaabe7f4bb959aeef8eb8d640398ee7349
tree402c65980cd5764e02778e5a3f7e6c8f6c912239
parent3d653e8ab542e502f4dcf574c9e4917cf56a5f8c
Move RedisConnectionPool to /libs/redis

Change-Id: Ied4a85d7172ab76b90f6d9ce4d47a83c3fd7d111
autoload.php
includes/clientpool/RedisConnectionPool.php [deleted file]
includes/filebackend/lockmanager/LockManagerGroup.php
includes/filebackend/lockmanager/RedisLockManager.php
includes/jobqueue/JobQueueRedis.php
includes/jobqueue/aggregator/JobQueueAggregatorRedis.php
includes/libs/redis/RedisConnRef.php [new file with mode: 0644]
includes/libs/redis/RedisConnectionPool.php [new file with mode: 0644]
includes/objectcache/RedisBagOStuff.php
includes/poolcounter/PoolCounterRedis.php