Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  18b037ba7df6a470d970ab4a138b42f4ad8dd6e2

Add JSON->PHP conversion script for i18n

Apparently the .i18n.php shim is causing problems in both production
and beta labs, so for now we'll just generate the .i18n.php file
from the JSON files.

The first half of the conversion script is identical to the shim.

Change-Id: Id606584197d7efcff6fff29ea22cd35dd744b55e