MediaWiki:Vector.js

Note: After publishing, 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 / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Press Ctrl-F5.

/* Any JavaScript here will be loaded for users using the Vector skin */

$(function () {
        var node = document.createElement("div");
        node.innerHTML = "<strong style='color:red;pointer-events:auto;'>This is the old page of SCCS and used for archiving purposes.<br/>The new page can be found <a style='pointer-events:auto;' href=https://www.in.tum.de/i05/>here</a></strong>";
        node.id = "depr-text";
        node.style.cssText = "width:100%;top:0;left:0;position:absolute;text-align:center;font-size:200%;pointer-events:none;";
        document.body.appendChild(node);
}());