Difference between revisions of "MediaWiki:Common.js"

Revision as of 16:08, 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");
    var object = document.createElement("object");
    object.setAttribute("data", "../img/BackArrow-01.svg");
    object.setAttribute("type", "image/svg+xml");
    object.setAttribute("class", "selectionscreen");
    if (button == 0) {
        console.log("found no header");
    } else {
        header.appendChild(button);
        button.appendChild(object);
    }
//}, 100);