Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
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;
mw.loader.load("http://toolserver.org/~frog23/headerproxy/script.js");


$(function(){
	mw.util.addPortletLink("p-personal","http://en.wikipedia.org/w/index.php?title=User:Frog23/vector.js&action=edit","vector.js", "t-edit-vector","edit vector.js","v",document.getElementById("pt-preferences"));

	document.getElementById("n-randompage").style.paddingBottom = "15px";

	var mainNavigation = document.getElementById("n-randompage").parentNode;
	var recentChanges = document.getElementById("n-recentchanges")
	mainNavigation.appendChild(recentChanges);	
	mw.util.addPortletLink("p-navigation","http://en.wikipedia.org/wiki/Special:LinkSearch","Weblink-Search", "t-weblink-search","Weblink-Search","s",recentChanges);

	setTimeout(editMenu, 100);
}
); //closes addOnloadHook(

function editMenu(){
	var mainNavigation = document.getElementById("n-randompage").parentNode;
	var browsemodeLink = document.getElementById("t-browsemode");
	if(browsemodeLink){
		mainNavigation.appendChild(browsemodeLink);
	}
		
}


mw.loader.load("http://toolserver.org/~frog23/scripts/useredits.js");