mediawiki.Title: Reduce transfer size of phpCharToUpper.json
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 17 Sep 2019 18:40:03 +0000 (19:40 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 17 Sep 2019 19:04:03 +0000 (19:04 +0000)
commitdecea359af57a0208b2f68cfbc0c1f88732d39b4
tree50264b1566f56ee55699e9e8e824e1263f964fa3
parent9d5c69dd773a523b62cc86c071afd3d070519607
mediawiki.Title: Reduce transfer size of phpCharToUpper.json

Follows-up 416895821fdb68, which increased this payload by 1-2KB.

Bug: T233095
Change-Id: I90745fe1c1ad4389fef399a30966b123f7812506
maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
resources/src/mediawiki.Title/Title.js
resources/src/mediawiki.Title/phpCharToUpper.json