Difference between revisions of "MediaWiki:Common.js"

Revision as of 17:05, 10 May 2021

/* Any JavaScript here will be loaded for all users on every page load. */
//setTimeout(function(){ 
    var header = document.getElementById("top-bar");
    var button = document.createElement("button");
    if (button == 0) {
        console.log("found no header");
    } else {
        console.log("found header. header = ", header, "button = ", button);
        header.appendChild(button);
    }
//}, 100);