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