Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  1cb87f73d41a90acd0e4e8cb5101043004c0a2fb

Button tool to switch to edit source with changes

By serialising the current DOM, and injecting it into a form we can
end up in the source editor with our VE changes converted.

Bug: 50687
Change-Id: Iafcc02a737d9c6c3a59dce1caff130d47ca25650