MediaWiki:Mobile.js

/* All JavaScript here will be loaded for users of the mobile site */

// Update this to `SELECT MAX(page_id) FROM page` on August 3rd
var launchDayMaxPageId = 6545;

if (false && !mw.config.get("wgIsMainPage") &&
       mw.config.get("wgNamespaceNumber") == 0 &&
       mw.config.get("wgArticleId") <= launchDayMaxPageId
       ) {
	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 was created during Early Access. " +
	"It may not be up to date with the release version.</b>";
}