Add Level 'Deprecated'

rust-lang · Jul 15, 2016 · a4f070b · a4f070b
1 parent 8dad2ce
commit a4f070b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
@@ -75,6 +75,7 @@ <h2 class="panel-title">
                         <span ng-if="lint.level == 'Allow'" class="label label-info">Allow</span>
                         <span ng-if="lint.level == 'Warn'" class="label label-warning">Warn</span>
                         <span ng-if="lint.level == 'Deny'" class="label label-danger">Deny</span>
+                        <span ng-if="lint.level == 'Deprecated'" class="label label-default">Deprecated</span>
 
                         <a href="#{{lint.id}}" class="anchor label label-default">&para;</a>
                     </h2>
@@ -131,7 +132,7 @@ <h4 class="list-group-item-heading">
         })
         .controller("lintList", function ($scope, $http) {
             // Level filter
-            $scope.levels = {Allow: true, Warn: true, Deny: true};
+            $scope.levels = {Allow: true, Warn: true, Deny: true, Deprecated: true};
             $scope.byLevels = function (lint) {
                 return $scope.levels[lint.level];
             };