Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  2ed67f2c7db3153a980024e74437c8fe4d8cbd29

Migrate to JSON i18n

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

Change-Id: Ia8b8777e8aac533bb5a87398b8fd06a2687248ec