MediaWiki  1.33.0
lockmanager Directory Reference

Files

file  LockManagerGroup.php [code]
 Lock manager registration handling.
 
file  MySqlLockManager.php [code]