Manual:$wgLockManagers/fr

Détails
Ce tableau contient la configuration de chaque resource lock manager.

Chaque configuration backend possède les paramètres suivants:


 * name
 * Un nom unique pour le gestionnaire de serrure


 * class
 * La classe de gestionnaire de verrouillage à utiliser


 * Les paramètres supplémentaires sont spécifiques à la classe utilisée.

Valeurs par défaut
Initialisé dans Setup.php: