Updated mediawiki/extensions
Project: mediawiki/extensions/RandomFeaturedUser  edace8534fe003df62d17b7945730eff0d17a94b

Migrate to JSON i18n

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

Change-Id: I2db53a18f0bee5eb0745c195890bc9c590788f04