MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

177 bytes removed , 27 October 2022

Undo revision 56082 by Auron956 (talk)

17,097

edits

@@ Line 523: / Line 523: @@
 function setStickyHeaderTop() {
    const stickyTables = document.getElementsByClassName('stickyHeader');
-   const headStyles = getComputedStyle(document.getElementById('mw-header-container'));
+   const headHeight = document.getElementById('mw-header-container').offsetHeight;
-  let headHeight = document.getElementById('mw-header-container').offsetHeight;
-  if (headStyles !== undefined && headStyles.display !== 'fixed') {
-    headHeight = 0;
-  }
    for (var i = 0; i < stickyTables.length; i++) {
      const firstRow = stickyTables[i].getElementsByClassName('headerRow-0');