Updated mediawiki/extensions
Project: mediawiki/extensions/Push  c256f2df7444469b6e32361fe2fa52f2f4fa9efc

Migrate to JSON i18n

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

Change-Id: Ic99c1dae6ef05fb64c714a5ef1103ad328c294ab