MediaWiki:Gadget-edittop.js: Difference between revisions