Updated mediawiki/extensions
Project: mediawiki/extensions/Configure  53877e2cf61ce07c7a1efef531112b9892dd77d3

Migrate to JSON i18n

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

Change-Id: Id3217c1ac2f17204848307009a94f89178016b75