MediaWiki:Gadget-EditTools

EditTools: Enhance the edittools section (grouping into section with a dropdown menu and converting static links to buttons).