Updated mediawiki/extensions
Project: mediawiki/extensions/WikiArticleFeeds  58e5f4f21da4bfe6effd4c7a37e09dbc08b5a2f0

Migrate to JSON i18n

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

Change-Id: Ib66ba061bf89d3ee0ec89d54c274236388bcabc2