Strip clippy:: prefix from search strings

Serial-ATA · Serial-ATA · commit 0fd03a85deb7 · 2022-05-22T15:24:47.000-04:00
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
@@ -232,6 +232,9 @@
                     return true;
                 }
                 searchStr = searchStr.toLowerCase();
+                if (searchStr.startsWith("clippy::")) {
+                    searchStr = searchStr.slice(8);
+                }
 
                 // Search by id
                 if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {

Original file line number	Diff line number	Diff line change
`@@ -232,6 +232,9 @@`
`232`	`232`	`return true;`
`233`	`233`	`}`
`234`	`234`	`searchStr = searchStr.toLowerCase();`
	`235`	`+ if (searchStr.startsWith("clippy::")) {`
	`236`	`+ searchStr = searchStr.slice(8);`
	`237`	`+ }`
`235`	`238`
`236`	`239`	`// Search by id`
`237`	`240`	`if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {`