Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  e4ef6163a0ea109622fb2a6984c8182259024103
null
Double spaces optimization

Moved the sequential space check into the whitespaceHtmlChars and htmlChars loop

Change-Id: I835cccf868fed851f25f5ccbba1386697b0ea66b