Updated mediawiki/extensions
Project: mediawiki/extensions/JsonData  1efd83fd5d17aed7ff6e9411fb9deaf114276749

Migrate to JSON i18n

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

Change-Id: I9867eeb7eba23b6f0cb414d16b0200b2d9e12103