Small tweaks to $wgLockManagers documentation.

Change-Id: Ib9678e303a1360ccb1e9005ac919ed75e4e45705

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 5d07212..a6eed69 100644 (file)
--- 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();