MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 16. Juli 2023, 10:10 Uhr

var thkSelectNavListener = e => {       console.log("hash changed");   };

@@ Zeile 1: / Zeile 1: @@
+var thkSelectNavListener = e => {       console.log("hash changed");   };
-"use strict";
-var thkSelectNavListener = e => {
-      console.log("hash changed");
-      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",
-  thkSelectNavListener,
-  false
-);