(unsafe: string)
| 16 | } |
| 17 | |
| 18 | function escapeHtml(unsafe: string) { |
| 19 | return unsafe |
| 20 | .replaceAll('&', '&') |
| 21 | .replaceAll('<', '<') |
| 22 | .replaceAll('>', '>') |
| 23 | .replaceAll('"', '"') |
| 24 | .replaceAll("'", '''); |
| 25 | } |
| 26 | |
| 27 | const makeCodeTd = (type: string, text: string | undefined, html: string | undefined) => { |
| 28 | if (text === undefined) { |