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
generateJsToUpperCaseList.js
generatePhpCharToUpperMappings.php Use 0 instead of "" in phpCharToUpper.json 2021-09-23 05:56:42 +00:00