Escape a JSON payload for safe embedding inside a ` ` element: the `<`, `>`, and `&` bytes are rewritten to their `\u00XX` JSON escapes so the literal sequence ` ` (and `<!--`) can never terminate the tag.
(s: &str)
| 511 | /// `<`, `>`, and `&` bytes are rewritten to their `\u00XX` JSON escapes so the |
| 512 | /// literal sequence `</script>` (and `<!--`) can never terminate the tag. |
| 513 | fn escape_script_json(s: &str) -> String { |
| 514 | s.replace('&', "\\u0026") |
| 515 | .replace('<', "\\u003c") |
| 516 | .replace('>', "\\u003e") |
| 517 | } |
| 518 | |
| 519 | const FILTER_SCRIPT: &str = r#"function filterFindings(sev){ |
| 520 | document.querySelectorAll('.finding').forEach(function(el){ |