(path: string | null | undefined)
| 14 | } |
| 15 | |
| 16 | function encodePath(path: string | null | undefined): string { |
| 17 | if (!path) return ""; |
| 18 | return path.replace(/[^a-zA-Z0-9]/g, (ch) => { |
| 19 | return ch.charCodeAt(0).toString(16); |
| 20 | }); |
| 21 | } |
| 22 | |
| 23 | // ── Helpers ────────────────────────────────────────────────────────── |
| 24 |
no outgoing calls
no test coverage detected