Updated mediawiki/extensions
Project: mediawiki/extensions/NoTitle  f0ae7de92bd6d9663da8c9c216f6ee8a36dd16f1

Migrate to JSON i18n

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

Change-Id: I7ed8a79d82c2b43eae2af508a3892ae812778783