Manual:$wgLockManagers/fr
| 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,
],
]