MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 16. Juli 2023, 12:10 Uhr

(function () {

const className = "selected";

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

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

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

window.addEventListener("hashchange", thkOnHashChangedListener);

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

window.addEventListener("load", thkOnLoadListener);

})();