MediaWiki:Gadget-edittop

From Meta, a Wikimedia project coordination wiki

EditTop: Add an [edit] link for the lead section of a page. (A side-effect is that MediaWiki:Tagline with id siteSub can no longer be hidden.)