$wgLockManagers: Difference between revisions