Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: hold down the Ctrl key and click the Refresh or Reload button. Firefox: hold down the Shift key while clicking Reload (or press Ctrl-Shift-R). Google Chrome and Safari users can just click the Reload button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.

/*  _____________________________________________________________________________
 * |                                                                             |
 * |                    === WARNING: GLOBAL GADGET FILE ===                      |
 * |                  Changes to this page affect many users.                    |
 * | Please discuss changes on the talk page or on [[WT:Gadget]] before editing. |
 * |_____________________________________________________________________________|
 *
 * Imported from version 1.2.3 as of 2010-09-08 from [[:de:MediaWiki:Gadget-revisionjumper.js]]
 * Using this script allows you to easily navigate diffs, articles' histories and articles themselves.
 * A feature-rich drop down menu offers various functions to jump to a certain revision
 * which is situated before or after the selected revision.
 * Besides default parameters, configurable requests can be done.
 * Further, the default setting can be personalized.
 * See [[User:DerHexer/revisionjumper]]
 */
 
 // [[:de:MediaWiki:Gadget-revisionjumper.js]]
mw.loader.load( '//de.wikipedia.org/w/index.php?title='
     + 'MediaWiki:Gadget-revisionjumper.js&action=raw&ctype=text/javascript' );