Updated mediawiki/extensions
Project: mediawiki/extensions/skins  b1e64bc28f140a5002bb345912460440bdb8249f

Migrate to JSON i18n

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

Change-Id: If38820ec8c005965575a58aa81740a7b1298ee0b