Manuel:$wgLockManagers
Appearance
Fichiers et téléversements de fichiers: $wgLockManagers | |
---|---|
Tableau de tableaux de configuration pour chaque gestionnaire de verrouillage. |
|
Introduit dans la version : | 1.19.0 |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (tableau) |
Valeur par défaut : | voir ci-dessous |
Autres paramètres : Alphabétique | Par fonction |
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:
[
[
'name' => 'fsLockManager',
'class' => FSLockManager::class,
'lockDirectory' => "{$wgUploadDirectory}/lockdir",
],
[
'name' => 'nullLockManager',
'class' => NullLockManager::class,
],
]