Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  9724bf939d92a9b9b5c8d0a7aff3223316d43d69

Fix 1919fffc: forgot to add getInnerWhitespace() in one place

Change-Id: Ia90d671100ae445ef414c6aff7b27d078ba82ffc