MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
var hamburgerContainer = document.getElementById('p-namespaces'); | var hamburgerContainer = document.getElementById('p-namespaces'); | ||
var hamburger = document.getElementById('p-namespaces-label'); | var hamburger = document.getElementById('p-namespaces-label'); | ||
hamburger.innerHTML = '<i | hamburger.innerHTML = '<i class="fa fa-bars"></i>'; | ||
hamburgerContainer.setAttribute("onclick","toggleMenu('blah');"); | |||
}()); | }()); | ||
Revision as of 03:21, 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 class="fa fa-bars"></i>';
hamburgerContainer.setAttribute("onclick","toggleMenu('blah');");
}());
/* 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;
}