MediaWiki
1.40.4
Options Directory Reference
Directory dependency graph for Options:
Directories
Hook
includes
user
Options
Generated on Thu Jun 27 2024 15:53:58 for MediaWiki by
1.10.0