Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  937963ed45a2a765f198e421d6bd95a5b8e64142

Migrate to JSON i18n

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

Change-Id: If7d7706a13d663bfdaa7456c3296f37f4ddbfd68