Manual:$wgLockManagers/de

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: