MediaWiki
master
lockmanager Directory Reference
Files
file
LockManagerGroup.php
[code]
Lock manager registration handling.
file
LockManagerGroupFactory.php
[code]
includes
filebackend
lockmanager
Generated on Tue Feb 7 2023 13:10:13 for MediaWiki by
1.9.1