Updated mediawiki/extensions
Project: mediawiki/extensions/WebPlatformSearchAutocomplete  37d0f976cca62fa8b3f00d13c42734546135feae

Migrate to JSON i18n

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

Change-Id: I6d1bb7e6081798e9ab7b69c86f810dec07667cb1