MediaWiki
1.42.0
mediawiki.Title Directory Reference
Directory dependency graph for mediawiki.Title:
Files
generatePhpCharToUpperMappings.php
Update list of upper case differences between JS and PHP.
maintenance
mediawiki.Title
Generated on Thu Jun 13 2024 13:51:56 for MediaWiki by
1.10.0