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