Updated mediawiki/extensions
Project: mediawiki/extensions/HidePrefix  cc7bce944ce2392ab1fe192ea77f7690edd475e5

Import globals consistently

Hadn't been done in the JSON i18n migration.

Change-Id: I8359e9946a8919a002bd33312b3396f5166199ab