diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index c88c298d5d787..6fb94c14a7ed4 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -496,7 +496,32 @@

Clippy Lints

- +
+ + +
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index f59245e556cd2..fa72b7de0a4d7 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -156,6 +156,16 @@ Object.entries(versionFilterKeyMap).map(([key, value]) => [value, key]) ); + const APPLICABILITIES_DEFAULT = { + unspecified: true, + unresolved: true, + machineApplicable: true, + maybeIncorrect: true, + hasPlaceholders: true + }; + + $scope.applicabilities = APPLICABILITIES_DEFAULT; + // loadFromURLParameters retrieves filter settings from the URL parameters and assigns them // to corresponding $scope variables. function loadFromURLParameters() {