Manual:$wgLockManagers

Details
Each backend configuration has the following parameters:
 * name: A unique name for the lock manger
 * class: The lock manger class to use
 * Additional parameters are specific to the class used.

Defaults
Initialized in Setup.php: