Updated mediawiki/extensions
Project: mediawiki/extensions/Configure  75d9c91a13cbdb98944ac9b34b478c76e47120d5

Migrate to JSON i18n

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

Change-Id: I65b4ab43f7412e17f71bbb0c25b3ad1b5e7cbe89