User:Gerbrant/edit/top.js
From Wikipedia, the free encyclopedia
< User:Gerbrant | edit
Note: After saving, you have to bypass your browser's cache to see the changes. Firefox/Mozilla/Safari: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Internet Explorer: press Ctrl-F5, Opera/Konqueror: press F5.
// This will add an [edit] link at the top of all pages except preview pages and the main page // Originally by [[User:Pile0nades]], modified by [[User:Gerbrant]]. // Add an [edit] link to pages hookEvent("load", function () { if(window.location.href.indexOf("/wiki/Special:") != -1) return; if(document.getElementById("wikiPreview")) return; if(document.getElementById("histlegend")) return; if(document.getElementById("difference")) return; if(document.getElementById("watchdetails")) return; if(document.getElementById("mainpage")) return; if(window.location.href.indexOf("&action=edit") == -1) { var pageTitle = document.title.split(" - ")[0].replace(" ", "_"); var divContainer = document.createElement("div"); divContainer.innerHTML = '<div class="editsection" style="float:right;">\ [<a href="/w/index.php?title=' + pageTitle + '&action=edit§ion=0" \ title="' + document.title.split(" - ")[0] + '">edit</a>]</div>'; var coos = document.getElementById("coordinates"); if(coos) coos.style.right = "4.5em"; document.getElementById("content").insertBefore( divContainer, document.getElementsByTagName("h1")[0]); } else if(window.location.href.indexOf("&action=edit§ion=0") != -1) { e = document.getElementById("wpSummary"); if(e) e.value = "/* Intro */ "; } });