MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 16. Juli 2023, 10:39 Uhr

console.log(window);

var thkOnHashChangedListener = function(){
      console.log("hash changed");
      var prev = document.querySelector('#toc a.selected');
console.log(prev);

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

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

window.addEventListener(
  "hashchange",
  thkOnHashChangedListener
);