Updated mediawiki/extensions
Project: mediawiki/extensions/WhitelistPages  f31c9e04715c0e0ebb34a87b38b8e2333d83373d

Migrate to JSON i18n

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

Change-Id: I3e97010fc4b4325d79cf394dce6fa7678d867200