MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 14. Januar 2020, 15:20 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */

//collaps default the TOC on opening an pages 
function hideToc() { 
  var toc = document.getElementById('toc').getElementsByTagName('ul')[0]; 
  var toggleLink = document.getElementById('togglelink'); 
  toc.style.display = 'none'; 
} 
hideToc();