MediaWiki:Gadget-extra-toolbar-buttons.js: Difference between revisions