Updated mediawiki/extensions
Project: mediawiki/extensions/OpenStreetMapSlippyMap  58ae20529e796279e47202709fa719e6fad7ec8b

Migrate to JSON i18n

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

Change-Id: Ib9080135e0bb2340985b798c1f3be972cf1acdaa