Updated mediawiki/extensions
Project: mediawiki/extensions/examples  45a1cdc55930d9d3671c61556f50a72b6bd358f2

Migrate to JSON i18n

Procedure per https://www.mediawiki.orgwiki/Manual:GenerateJsonI18n.php
without shims. Examples don't need one.

Change-Id: Ie5e9375ecb0d882ded1c3399188ddcb0c9864a0a