Manual:$wgLockManagers

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