Benutzer:Buffty/vector.js

aus Wikipedia, der freien Enzyklopädie

Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Internet Explorer/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Strg+F5
NavigationBarShowDefault = 10; // Bis zu 10 Leisten ausklappen

mw.loader.load("http://toolserver.org/~frog23/deadlinkfinder/script.js");  // DeadLinkFinder
var deadLinkFinder_runAlways = true;
var deadLinkFinder_showWaitingIcon = true;
var deadLinkFinder_showOk = true;