Updated mediawiki/extensions
Project: mediawiki/extensions/RSS  9a224d07c9000bbf1ba894b3660faf917194589c

Migrate to JSON i18n

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

Change-Id: I3b3e5462cfcaa0496a0b01d491dae2f92573b293