MediaWiki
master
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 Wed Apr 24 2024 14:27:18 for MediaWiki by
1.10.0