User:JoergHoletschek/common.js

User:JoergHoletschek/common.js

Note: After saving, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

var deadLinkFinder_showOk = true;
var deadLinkFinder_fadeOk = true;
var deadLinkFinder_showBrowsemodeLink = true;
var deadLinkFinder_showWaitingIcon = true;
//var deadLinkFinder_language = "en";
var deadLinkFinder_namespaceFilter = [0,2,4,6,8,12,14,100];
//var deadLinkFinder_runAlways = true;
var deadLinkFinder_linkToLinkSearch = true;
var deadLinkFinder_showIndividualOK = true;
var deadLinkFinder_showRedirects = true;
var deadLinkFinder_showContentType = true;
mw.loader.load("//biowikifarm.org/tools/deadlinkfinder/script.js");