diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index fec883938d6a..285aa34e7018 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -602,7 +602,7 @@ filters.filterLints(); updateLintCount(); function updateLintCount() { - const allLints = filters.getAllLints(); + const allLints = filters.getAllLints().filter(lint => lint.group != "deprecated"); const totalLints = allLints.length; const countElement = document.getElementById("lint-count");