मीडियाविकि:Gadget-Edittools

Edittools: enhance the edittools section (grouping into section with a dropdown menu and converting static links to buttons)