Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  9e9243e51f11e29831e0eeb82c4342c60a04d35c

data-ve-ignore attribute for elements to be complete ignored by the converter

This is for HTML we generate for the benefit of the external clipboard
(i.e. pasting into other applications).

Change-Id: I1c5ff4760f17e1981a78a0bc44f8e296454bb065