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)