Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMaps  751b5634da45f8378dcdacb023afc706909180ce

Migrate to JSON i18n

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

Change-Id: I557f93ac4a5c684533a9825a72ececb1de50e076