Updated mediawiki/extensions
Project: mediawiki/extensions/UserFunctions  737a87afc67b474129548792bd1506e5f8e2107c

Migrate to JSON i18n

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

Change-Id: Ie0de186e7559025aafd13e31d463f095bdf9a70d