Updated mediawiki/extensions
Project: mediawiki/extensions/ArticleIndex  69016f4724b65cb9b1c3ecaee393392d2536ac1d

Migrate to JSON i18n

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

Change-Id: I917f6cb33ef04213de12fce1280df9bc213f66aa