Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  a9e804166b631688d747cdbf1d3cf4a5932de5fe

Migrate to JSON i18n

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

Change-Id: I9b798a78b573c5483bc17a45577cb8f32127bc50