Updated mediawiki/extensions
Project: mediawiki/extensions/Special404  b2f84c17f161fc62f0c307dc6527026d82a1f64e

Migrate to JSON i18n

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

Change-Id: I0a4ce86a51b7b87fcadaee17f1b030a312623ac1