Allow to go through clippy lints page without javascript#13539

bors merged 2 commits intorust-lang:masterrust-lang/rust-clippy:masterfrom

GuillaumeGomez:allow-no-jsGuillaumeGomez/rust-clippy:allow-no-jsCopy head branch name to clipboard