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