|
28 | 28 | /\/compare\//.test(location.href)) && |
29 | 29 | (e = document.getElementById("toc")) |
30 | 30 | ) { |
31 | | - var r = e.querySelector(".GithubCommitWhitespaceButton"); |
| 31 | + let r = e.querySelector(".GithubCommitWhitespaceButton"); |
32 | 32 | if (r) { |
33 | 33 | r.parentElement.removeChild(r); |
34 | 34 | } |
35 | 35 |
|
36 | | - var on = /w=/.test(location.search); // Any occurrence results in enabling |
| 36 | + let on = /w=/.test(location.search); // Any occurrence results in enabling |
37 | 37 |
|
38 | | - var b = e.querySelector(".toc-diff-stats"); |
| 38 | + let b = e.querySelector(".toc-diff-stats"); |
39 | 39 |
|
40 | | - var a = document.createElement("a"); |
| 40 | + let a = document.createElement("a"); |
41 | 41 | a.classList.add("btn", "btn-sm", "tooltipped", "tooltipped-n"); |
42 | 42 | if (on) { |
43 | 43 | a.classList.add("selected"); |
|
50 | 50 | ); |
51 | 51 | a.appendChild(document.createTextNode("\u2423")); |
52 | 52 |
|
53 | | - var g = document.createElement("div"); |
| 53 | + let g = document.createElement("div"); |
54 | 54 | g.classList.add("GithubCommitWhitespaceButton", "float-right"); |
55 | 55 | g.style.margin = "0 10px 0 0"; // Give us some room |
56 | 56 | g.appendChild(a); |
|
62 | 62 | "#files_bucket .pr-toolbar .diffbar > .pr-review-tools", |
63 | 63 | )) |
64 | 64 | ) { |
65 | | - var r = e.querySelector(".GithubCommitWhitespaceButton"); |
| 65 | + let r = e.querySelector(".GithubCommitWhitespaceButton"); |
66 | 66 | if (r) { |
67 | 67 | r.parentElement.removeChild(r); |
68 | 68 | } |
69 | 69 |
|
70 | | - var on = /w=/.test(location.search); // Any occurrence result in enabling |
| 70 | + let on = /w=/.test(location.search); // Any occurrence result in enabling |
71 | 71 |
|
72 | | - var a = document.createElement("a"); |
| 72 | + let a = document.createElement("a"); |
73 | 73 | a.classList.add( |
74 | 74 | "btn", |
75 | 75 | "btn-sm", |
|
85 | 85 | ); |
86 | 86 | a.appendChild(document.createTextNode("\u2423")); |
87 | 87 |
|
88 | | - var g = document.createElement("div"); |
| 88 | + let g = document.createElement("div"); |
89 | 89 | g.classList.add("GithubCommitWhitespaceButton", "diffbar-item"); |
90 | 90 | g.appendChild(a); |
91 | 91 |
|
|
0 commit comments