(str: string)
| 249 | } |
| 250 | |
| 251 | export function escapeHTML(str: string) { |
| 252 | const div = document.createElement('div') |
| 253 | div.append(document.createTextNode(str)) |
| 254 | return div.innerHTML |
| 255 | } |
| 256 | |
| 257 | export async function parseHTML( |
| 258 | html: string, |