Fix precedence table ordering

Table header names changed in #4031. Closes #4085.
Raku · Jun 18, 2022 · 68ca383 · 68ca383
1 parent 165ea10
commit 68ca383
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/assets/js/main.js b/assets/js/main.js
@@ -11,8 +11,8 @@ function setup_tables() {
         if ($(this).find('thead').length
          && $(this).find('tr').length > 10
          && ! ( // don't sort operators precedence table
-              $(this).find('thead th:first-child'     ).text() == 'A'
-           && $(this).find('thead th:first-child + th').text() == 'Level'
+              $(this).find('thead th:first-child'     ).text() == 'Precedence Level'
+           && $(this).find('thead th:first-child + th').text() == 'Associativity'
          )) $(this).tablesorter({sortList: [[0,0]]})
     })
 }