Updated mediawiki/extensions
Project: mediawiki/extensions/CharRangeSpan  27cdee708b31ebd1b046c318a4842efd7e38002a

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ie496bd8b0ac5d4ea495de0eb1c120f9641e2dcfe