[LockManager] Split QuorumLockManager into its own file.
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 1 Feb 2013 06:28:55 +0000 (22:28 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 1 Feb 2013 06:29:44 +0000 (22:29 -0800)
commit7224c402ca9028d6162387bc3ff723fe7efeee21
tree58918d161f70601436d0e314d1a2350a3dd137e7
parent787547975789fd72729ae74af8add87a1a01aa5d
[LockManager] Split QuorumLockManager into its own file.

Change-Id: Ib487a39b04ac9de3449695ac388c95ae45933469
includes/AutoLoader.php
includes/filebackend/lockmanager/LockManager.php
includes/filebackend/lockmanager/QuorumLockManager.php [new file with mode: 0644]