Updated mediawiki/extensions
Project: mediawiki/extensions/MyVariables  4747a3c9f7dd7f06cf4372b0ff28f6e4aa7c8b55

Migrate to JSON i18n

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

Change-Id: Ie9144d60cbb12961af8fcb571621cd4a59cf0bf8