Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  35a6db00b7d36adccbae758d99248524f431ce2f

Rebuild VisualEditor.i18n.php – 2013-12-18 19:57:00

Change-Id: I1d1a1256893ecf4489d64e7cf395a6b5d7598d73