Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  31496bac82d894679243cee8ee3a3a1d25e337b8

Fix whitespace issue that eluded me in c4b349db4

Change-Id: I5159a70929ac52fdc78b873f10853fa4420b992b