Updated mediawiki/extensions
Project: mediawiki/extensions/LiveTranslate  c6f178bad663153e4cbd8a5e519d484ba2a3a5e6

Migrate to JSON i18n

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

Change-Id: I7d0b890cd7e6ad7ef457d9411472e8a167bf83a3