MediaWiki:Gadget-Edittools
From mediawiki.org
Edittools: Enhance the edittools section (grouping into section with a dropdown menu and converting static links to buttons)
Edittools: Enhance the edittools section (grouping into section with a dropdown menu and converting static links to buttons)