MediaWiki:Gadget-Extra-Editbuttons.js: различия между версиями