MediaWiki:Gadget-Extra-Editbuttons.js: Difference between revisions