Updated mediawiki/extensions
Project: mediawiki/extensions/SubPageList  788d2bf64cc4e3fd4105af06d2656cf7df4f1889

Migrate to JSON i18n

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

Change-Id: Ie587a6ceadb7ff2c632fb81fcd60a90625001a7c