(text: string)
| 26 | |
| 27 | // 辅助函数:转义 HTML 特殊字符 |
| 28 | function escapeHtml(text: string): string { |
| 29 | return text.replace(/&/g, '&').replace(/</g, '<').replace(/>/g, '>') |
| 30 | } |
| 31 | |
| 32 | // 语法高亮函数,先提取 token 再转义和高亮 |
| 33 | function highlightSyntax(code: string): string { |