Jump to content

Manual:$wgLockManagers

From mediawiki.org
Files and file uploads: $wgLockManagers
Array of configuration arrays for each lock manager.
Introduced in version:1.19.0
Removed in version:Still in use
Allowed values:(array)
Default value:see below

Details

[edit]

This array contains the configuration for each resource lock manager.

Each backend configuration has the following parameters:

name
A unique name for the lock manager
class
The lock manager class to use
Additional parameters are specific to the class used.

Defaults

[edit]

Initialized in Setup.php:

[
	[
		'name' => 'fsLockManager',
		'class' => FSLockManager::class,
		'lockDirectory' => "{$wgUploadDirectory}/lockdir",
	],
	[
		'name' => 'nullLockManager',
		'class' => NullLockManager::class,
	],
]