Manual:$wgLockManagers/en

Details
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.

Defaults
Initialized in Setup.php: