Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  9abad0385ded8c18466cefbc3b88722678b4ed50

Shim for VisualEditor.i18n.php that reads JSON blobs

For performance we might also want to provide a conversion script
that generates a static PHP file.

Change-Id: I6a72bb3ec23c90fc5740327a7e46b4d805562779