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 Sat Jul 27 2024 00:27:46 for MediaWiki by
1.10.0