MediaWiki talk:Gadget-edittop.js

VisualEditor conflict?
Maintainers of this gadget might be interested to read : the "edit lead section" link incorrectly points to second section. I suspect this of being a VisualEditor-related issue.

Thus I mention:
 * User:Jack Phoenix
 * User:MaxSem
 * User:MarkAHershberger
 * User:TheDJ
 * User:Alex Smotrov

so that they'll get notifications. Thanks. Sharihareswara (WMF) (talk) 03:35, 16 August 2013 (UTC)
 * User:Sharihareswara (WMF), i'm not an admin here, so I can't fix it, but there is a newer version on en.wp that can handle this. link. TheDJ (talk) 11:54, 19 August 2013 (UTC)

Would an administrator please synchronize this gadget with the version at w:MediaWiki:Gadget-edittop.js? Thanks! – Minh Nguyễn (talk, contribs) 11:39, 2 December 2013 (UTC)