From 69c9bf8e0be5e0743a6d5103e71c2ef5194508f3 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Sat, 7 Jan 2012 23:05:59 +0000 Subject: [PATCH] Fixed name of $wgLockManagers var in DefaultSettings.php --- includes/DefaultSettings.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 7fb973cc3e..31cfc11855 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -381,7 +381,7 @@ $wgUseInstantCommons = false; * 'name' : A unique name for the backend * 'class' : The file backend class to use * 'wikiId' : A unique string that identifies the wiki (container prefix) - * 'lockManager' : The name of a lock manager (see $wgFileLockManagers) + * 'lockManager' : The name of a lock manager (see $wgLockManagers) * Additional parameters are specific to the class used. */ $wgFileBackends = array(); @@ -393,7 +393,7 @@ $wgFileBackends = array(); * 'class' : The lock manger class to use * Additional parameters are specific to the class used. */ -$wgFileLockManagers = array(); +$wgLockManagers = array(); /** * Show EXIF data, on by default if available. -- 2.20.1