Move RedisLockManager to /libs
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 23 Sep 2016 07:30:31 +0000 (00:30 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 23 Sep 2016 07:30:47 +0000 (00:30 -0700)
commit49e0691b718a918ed55c9b6b570b1265221d9818
tree85d89bc7e16fc0440c7cbda141c79a0f764fd784
parent10593ffaabe7f4bb959aeef8eb8d640398ee7349
Move RedisLockManager to /libs

Change-Id: Ia476f117243cf0f6984e373d460b24db18584704
autoload.php
includes/filebackend/lockmanager/MySqlLockManager.php
includes/filebackend/lockmanager/RedisLockManager.php [deleted file]
includes/libs/lockmanager/DBLockManager.php
includes/libs/lockmanager/LockManager.php
includes/libs/lockmanager/RedisLockManager.php [new file with mode: 0644]