MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
var launchDayRevId = 16000; | var launchDayRevId = 16000; | ||
if (mw.config.get("wgNamespaceNumber") == 0 && mw.config.get("wgRevisionId") < launchDayRevId) { | if (false && mw.config.get("wgNamespaceNumber") == 0 && mw.config.get("wgRevisionId") < launchDayRevId) { | ||
var notice = document.getElementById("siteNotice"); | var notice = document.getElementById("siteNotice"); | ||
notice.style.border = "2px solid var(--bdr-hl)"; | notice.style.border = "2px solid var(--bdr-hl)"; | ||
Revision as of 04:48, 10 July 2023
/* Any JavaScript here will be loaded for all users on every page load. */
// Update this to the latest revision ID on August 3rd:
var launchDayRevId = 16000;
if (false && mw.config.get("wgNamespaceNumber") == 0 && mw.config.get("wgRevisionId") < launchDayRevId) {
var notice = document.getElementById("siteNotice");
notice.style.border = "2px solid var(--bdr-hl)";
notice.style.padding = "5px";
notice.style.fontSize = "1.2em";
notice.innerHTML = "<b>Warning: This page has not been updated since Early Access, the contents may be outdated.</b>";
}