MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
Line 10: | Line 10: | ||
/* Make the hamburger work */ | /* Make the hamburger work */ | ||
var isShown = false; | |||
function toggleMenu() { | function toggleMenu() { | ||
if (isShown) { | if (isShown) { | ||
document.getElementById("mw-panel").style.display = "none"; | document.getElementById("mw-panel").style.display = "none"; |
Revision as of 03:07, 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 */
var isShown = false;
function toggleMenu() {
if (isShown) {
document.getElementById("mw-panel").style.display = "none";
isShown = false;
}
else {
document.getElementById("mw-panel").style.display = "initial";
isShown = true;
}
return isShown;
}