MediaWiki:Common.js

/* 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>';
}());


function toggleMenu() {
        var isShown = false;
        if (isShown) {
        document.getElementById("mw-panel").style.display = "none";
        }
        else {
        document.getElementById("mw-panel").style.display = "initial";
        }
}