4ef1a129fa
Using `Element.remove()` is a slightly more compact way of removing an element, since you no longer need to explicitly find/use its parent element. Furthermore, the patch also replaces a couple of loops that're used to delete all elements under a node with simply overwriting the contents directly (a pattern already used throughout the viewer). See also: - https://developer.mozilla.org/en-US/docs/Web/API/Node/removeChild - https://developer.mozilla.org/en-US/docs/Web/API/Element/remove |
||
|---|---|---|
| .. | ||
| favicon.ico | ||
| reftest-analyzer.css | ||
| reftest-analyzer.html | ||
| reftest-analyzer.js | ||