Pierre Schmitz 2091055161 Remove everything that is not in the release version of MediaWiki 1.35.0		2020-11-14 17:26:20 +01:00
..
generateJsToUpperCaseList.js	Update to MediaWiki 1.35.0	2020-11-14 17:26:20 +01:00
generatePhpCharToUpperMappings.php	Update to MediaWiki 1.35.0	2020-11-14 17:26:20 +01:00