[LockManager] Generallized wiki field to a domain field.
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 1 Feb 2013 18:29:10 +0000 (10:29 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 1 Feb 2013 18:40:45 +0000 (10:40 -0800)
commita4f27a198ffbcf93fce5371cd905cdd704f22c5c
treeaaaac5c3d168b2984ddf63034acd5df0216aa768
parentef0e671fed5936b1a85e6a6d400a5c6ba7d1399c
[LockManager] Generallized wiki field to a domain field.

* In some cases (like certain qualified file backends), a domain
  may be desired that is not simple a wiki ID.
* Also added a LockManangerGroup::config() function to export
  the configuration of a lock manager.

Change-Id: I5a75c55be3cc9017ed8a717d6d30e466fd00340f
includes/filebackend/FileBackend.php
includes/filebackend/lockmanager/DBLockManager.php
includes/filebackend/lockmanager/LockManager.php
includes/filebackend/lockmanager/LockManagerGroup.php