Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalUserrights  c05306dd2880b574ebc8eedb41eff7625201b740

Migrate to JSON i18n

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

Change-Id: I9799831d208ba7d9274c1d88acdcb8374f1fd217