Jump to content

Manual:$wgDefaultLockManager

From mediawiki.org
Files and file uploads: $wgDefaultLockManager
Name of the default lock manager from the list of conferred lock managers.
Introduced in version:1.47.0 (Gerrit change 1302993; git #14bb3ef7)
Removed in version:Still in use
Allowed values:(string) or null
Default value:null

Details

Name of the default lock manager from the list of conferred lock managers. If not set, none means the database will be used as the default lock management.