MediaWiki  master
lockmanager Directory Reference

Files

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