Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  3adeb4e3fb1a3dee13151a43cac97cfc02e2f71b

Fix edit source switch in Firefox

Previously was failing for two reasons:
1. FF requires the form to be attached before submitting
2. options.watch failed because of FF's annoying Object.prototype.watch

Bug: 56767
Change-Id: I7b3d349f057f5b87f823ce788b4143f817af5303