Last modified: 2013-07-03 12:11:40 UTC
Using the [edit] next to the lede (section=0) only allows invoking the source editor. Ideally there should be consistency, and VE options should either be always shown, or never shown.
As of 2013-07-03 11:42 BST, there were 22,009 accounts with gadgets-edittop enabled.
The gadgets are maintained by volunteer developers (in this case, TheDJ). It's the responsibility of gadget authors to ensure compatibility with MediaWiki, not the responsibility of MediaWiki developers to ensure compatibility with gadgets. We have ~700 projects, many of which will have their own gadgets; ensuring everything we deploy is always compatible with every one of them is to tie us into knots.
Forwarded to: http://en.wikipedia.org/wiki/User_talk:TheDJ#edittop.js:_VisualEditor
Can someone point me to the code that is building the VE edit section links ?
I recall the pertinent gerrit revision as being https://gerrit.wikimedia.org/r/#/c/69984/ which should give some pointers.
ve.init.mw.ViewPageTarget.prototype.setupSectionEditLinks in /modules/ve/init/mw/targets/ve.init.mw.ViewPageTarget.js in mediawiki/extensions/VisualEditor. (It's painful to look at.)