MediaWiki:Common.js: Difference between revisions

Revision as of 22:02, 23 April 2025

function toggleMainMenu() {
  var menu = document.getElementById("mw-mobile-main-menu");
  if (menu.style.display === "flex") {
    menu.style.display = "none";
  } else {
    menu.style.display = "flex";
  }
}