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: