[LockManager] Added support for a default lock manager.
authorAaron Schulz <aschulz@wikimedia.org>
Sat, 23 Jun 2012 18:26:46 +0000 (11:26 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Sat, 23 Jun 2012 18:53:36 +0000 (11:53 -0700)
commit45bf4e80bf80d4d00a1a3f62115649fe6cd84914
tree92c07a7f191087ed0821938056ad0a176c9837e4
parent8f1ea9d90732d3b2166bdddfe89ce146aa06612f
[LockManager] Added support for a default lock manager.

Change-Id: I730c8b078b9f3a0ad73b1b0887a8c991c9d81bde
includes/filerepo/backend/lockmanager/LockManagerGroup.php