Small tweaks to $wgLockManagers documentation.
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 20 Feb 2013 22:00:15 +0000 (14:00 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 21 Feb 2013 06:38:37 +0000 (06:38 +0000)
commit7013da720b4682ad1d550bbe3d01dc4ff3209e8c
treee4180677736294494e585ed8234ea58c54131108
parentcb22c53a79da34ff351b9b7332dcc437ab12cfc8
Small tweaks to $wgLockManagers documentation.

Change-Id: Ib9678e303a1360ccb1e9005ac919ed75e4e45705
includes/DefaultSettings.php