Updated mediawiki/extensions
Project: mediawiki/extensions/ClientSide  5e6660c42866b9467ea7a0bf8a6ea7dbfe54cd56

Migrate to JSON i18n

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

Change-Id: I5f7b19f7233c9ed25ab9d40d699719c09fea7ff6