MediaWiki:Gadget-Editor.js: Difference between revisions