MediaWiki:Gadget-edittop

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.)