MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
Line 14: | Line 14: | ||
if (isShown) { | if (isShown) { | ||
document.getElementById("mw-panel").style.display = "none"; | document.getElementById("mw-panel").style.display = "none"; | ||
isShown = false; | |||
} | } | ||
else { | else { | ||
document.getElementById("mw-panel").style.display = "initial"; | document.getElementById("mw-panel").style.display = "initial"; | ||
isShown = true; | |||
} | } | ||
} | } |
Revision as of 03:04, 9 July 2020
/* Any JavaScript here will be loaded for all users on every page load. */
/* Add the hamburger menu button */
$(function () {
var hamburgerContainer = document.getElementById('p-namespaces');
var hamburger = document.getElementById('p-namespaces-label');
hamburger.innerHTML = '<i onclick="toggleMenu()" class="fa fa-bars"></i>';
}());
/* Make the hamburger work */
function toggleMenu() {
var isShown = false;
if (isShown) {
document.getElementById("mw-panel").style.display = "none";
isShown = false;
}
else {
document.getElementById("mw-panel").style.display = "initial";
isShown = true;
}
}