Manuel:$wgLockManagers

From mediawiki.org
This page is a translated version of the page Manual:$wgLockManagers and the translation is 100% complete.
Other languages:
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

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