MediaWiki:Common.js: Difference between revisions

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

Revision as of 08:33, 27 April 2025