Updated mediawiki/extensions
Project: mediawiki/extensions/ParserFun  1f24742383af14402e6b61becd069eb72d31a5f6

Migrate to JSON i18n

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

Change-Id: I7b8e35f72d2cf193395bb029b9e96d3facc9d5eb