MediaWiki
1.42.0-rc.0
lockmanager Directory Reference
Directory dependency graph for lockmanager:
Files
LockManagerGroup.php
Lock manager registration handling.
LockManagerGroupFactory.php
includes
filebackend
lockmanager
Generated on Mon May 13 2024 22:09:01 for MediaWiki by
1.10.0