MediaWiki:Common.js: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 29: Line 29:
     }
     }
   var y = document.getElementById("all-texts-list");
   var y = document.getElementById("all-texts-list");
   if (y.style.display === "none") {
   if (y.style.display === "block") {
      y.style.display = "none";
    } else {
       y.style.display = "block";
       y.style.display = "block";
    } else {
      y.style.display = "none";
     }
     }
   /*var i;
   /*var i;