Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4df4b62119ef8c1bd35729c2c8ed23e4fdbd101b

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
without shim, as B/C is not available for MobileFrontend.

Change-Id: Idc13d7ff5477a363f88016874bb02a18b930eaf4