Manual:$wgLockManagers/pl

Szczegóły
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: