Updated mediawiki/extensions
Project: mediawiki/extensions/TemplateInfo  ff93edbe8d50f7708fb9631afe777045d7acd39a

Migrate to JSON i18n

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

Change-Id: Ibcf15254c59b5204a998eb1a2235feda92af6d11