Updated mediawiki/extensions
Project: mediawiki/extensions/MWSearch  7e123f5043c11118c052dbb55f385b86eb866524

Migrate to JSON i18n

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

Change-Id: I58f0c3f4c6375a043a1c53f13748524238487b80
Updated mediawiki/extensions
Project: mediawiki/extensions/NavigationTiming  e2b96033b05f2d9b334695fff487a03a1b10562e

Migrate to JSON i18n

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

Change-Id: I7390329aef5ec286583765137da7d4a7f46ed097