user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Do not count deprecated lints in lint total

Browse source 
In order to be consistent with our documentation, deprecated lints
should not be counted when displaying the total number of lints on the
[web site](https://rust-lang.github.io/rust-clippy/master/index.html).

For example, as of 2025-06-01, there are 784 non-deprecated lints which
are referred to as "over 750 lints" in the documentation, but the web site
displays "Total number: 799". When one new lint will be added, there
will be a discrepancy ("over 750 lints" vs. "Total number: 800") if this
is not fixed.
This commit is contained in:
Samuel Tardieu 2025-06-01 13:35:13 +02:00
parent 1652187a03
commit d4aed518a5
No known key found for this signature in database
GPG key ID: BDDC3208C6FEAFA8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
util/gh-pages/script.js
View file

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