MediaWiki
1.33.0
lockmanager Directory Reference
Files
file
LockManagerGroup.php
[code]
Lock manager registration handling.
file
MySqlLockManager.php
[code]
includes
filebackend
lockmanager
Generated on Fri Dec 13 2019 22:10:21 for MediaWiki by
1.8.16