Fixed name of $wgLockManagers var in DefaultSettings.php
authorAaron Schulz <aaron@users.mediawiki.org>
Sat, 7 Jan 2012 23:05:59 +0000 (23:05 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Sat, 7 Jan 2012 23:05:59 +0000 (23:05 +0000)
commit69c9bf8e0be5e0743a6d5103e71c2ef5194508f3
tree8dfc370845eefd88d61087ff0e727bf4cc79c59c
parent263cdf279196238283a0ec3123b6503cd9f373ec
Fixed name of $wgLockManagers var in DefaultSettings.php
includes/DefaultSettings.php