Updated mediawiki/extensions
Project: mediawiki/extensions/examples  f3a8d9a3483574da4bcf6250967f86f7b55aba93

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
without shim. This is a boiler plate for new extensions, so no need for B/C.

Change-Id: I0ab51b805994610e7d17b7543833cc0ea8df574f