diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index c88c298d5d7..6fb94c14a7e 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -496,7 +496,32 @@ Otherwise, have a great day =^.^= - +
+ + +
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index f59245e556c..fa72b7de0a4 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() {