Auto merge of #8343 - robjtede:patch-1, r=giraffate

Autofocus search input

changelog: autofocus filter input on Clippy Lints page

util/gh-pages/index.html

@@ -522,6 +522,11 @@ Otherwise, have a great day =^.^=
                 }
 
                 scrollToLintByURL($scope);
+
+                setTimeout(function () {
+                    var el = document.getElementById('filter-input');
+                    if (el) { el.focus() }
+                }, 0);
             })
             .error(function (data) {
                 $scope.error = data;