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 Fri Feb 14 2025 21:30:26 for MediaWiki by
1.10.0