Updated mediawiki/extensions
Project: mediawiki/extensions/PrivateDomains  b9842c0ca4d3e5e3564b5a34d7380b0386e47363

Migrate to JSON i18n

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

Change-Id: I242b94afe3dc7021de56b5f23ced07243dc553f8