MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 16. Juli 2023, 12:09 Uhr

(function () {

var thkOnHashChangedListener = function(){
  var prev = document.querySelector('#toc a.selected');

  if (prev !== null) {
    prev.classList.remove('selected');
  }

  var curr = document.querySelector('#toc a[href="' + window.location.hash + '"]');
  if (curr !== null) {
    curr.classList.add('selected');
  }
};

window.addEventListener("hashchange", thkOnHashChangedListener);

var thkOnHashChangedListener = function(){
  document.querySelector('#toc a:first-of-type').classList.add('selected');
};

window.addEventListener("load", thkOnLoadListener);

})();