MediaWiki:Gadget-revisionjumper.js: Difference between revisions