Updated mediawiki/extensions
Project: mediawiki/extensions/WhiteSpace  eb11499b32276aae804c0bba71f373ef66e161ac

Migrate to JSON i18n

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

Change-Id: I0656b98c074e840718fba88fef1f9a47b6a78dad