Manuel:$wgLockManagers

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,
	],
]