Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticPageSeries  7bf9b9fdf9c141475a915429e90e8c870658fc6f

Migrate to JSON i18n

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

Change-Id: If076c0c75c95989ee7086b317c6b683f902cb7ed