MediaWiki:Common.js

Hinweis: Leere nach dem Speichern den Browser-Cache, um die Änderungen sehen zu können.

• Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
• Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
• Internet Explorer: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
• Opera: Gehe zu Menü → Einstellungen (Opera → Einstellungen auf dem Mac) und dann auf Datenschutz & Sicherheit → Browserdaten löschen → Gespeicherte Bilder und Dateien.

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
);