Updated mediawiki/extensions
Project: mediawiki/extensions/WebFonts  12a3af893aea7c692be6b22cd5e3c8e801db1203

Migrate to JSON i18n

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

Change-Id: I471cbaa32d75c3a655c0ae65d15af01648f7d559