Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
| Line 9: | Line 9: | ||
header.appendChild(); | header.appendChild(); | ||
} | } | ||
| − | }, | + | }, 100); |
Revision as of 17:02, 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);
header.appendChild();
}
}, 100);