MediaWiki:Gadget-Edittools

From mediawiki.org
Jump to navigation Jump to search

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