Manual:$wgLockManagers/ja

詳細
This array contains the configuration for each resource lock manager.

Each backend configuration has the following parameters:


 * name: A unique name for the lock manager
 * class: The lock manager class to use
 * Additional parameters are specific to the class used.

既定値
Initialized in Setup.php: