From a4f070ba925879b0e2bd4b7d414d158a455a3d0e Mon Sep 17 00:00:00 2001
From: Pascal Hertleif <killercup@gmail.com>
Date: Fri, 15 Jul 2016 13:08:13 +0200
Subject: [PATCH] Add Level 'Deprecated'

---
 util/gh-pages/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index dd72ee234d1..662aabeb2e6 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -75,6 +75,7 @@
                         <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 @@
         })
         .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];
             };