wiki.techinc.nl/maintenance/mediawiki.Title
Fomafix b28b79ddb9 Use 0 instead of "" in phpCharToUpper.json
Use 0 instead of "" to signal an unchanged character. 0 is only one
character and "" are two characters. This reduces the uncompressed size
of the JSON file by 770 byte.

Change-Id: Ibb6d2d1d9af712ad73733d3179fb82751028e054
2021-09-23 05:56:42 +00:00
..
.eslintrc.json eslint: Use /server rules for maintenance script 2019-10-08 13:07:25 +01:00
generateJsToUpperCaseList.js eslint: Update to eslint-config-wikimedia 0.16.0 2020-06-02 21:32:56 +01:00
generatePhpCharToUpperMappings.php Use 0 instead of "" in phpCharToUpper.json 2021-09-23 05:56:42 +00:00