From 7013da720b4682ad1d550bbe3d01dc4ff3209e8c Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Wed, 20 Feb 2013 14:00:15 -0800 Subject: [PATCH] Small tweaks to $wgLockManagers documentation. Change-Id: Ib9678e303a1360ccb1e9005ac919ed75e4e45705 --- includes/DefaultSettings.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 5d07212452..a6eed691db 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -473,7 +473,9 @@ $wgFileBackends = array(); * Each backend configuration has the following parameters: * - 'name' : A unique name for the lock manager * - 'class' : The lock manger class to use - * Additional parameters are specific to the class used. + * + * See LockManager::__construct() for more details. + * Additional parameters are specific to the lock manager class used. * These settings should be global to all wikis. */ $wgLockManagers = array(); -- 2.20.1