MediaWiki:Gadget-revisionjumper.js

// From German Wikipedia w:de:MediaWiki:Gadget-revisionjumper.js mw.loader.load( '//de.wikipedia.org/w/index.php?title=MediaWiki:Gadget-revisionjumper.js&action=raw&ctype=text/javascript' );