(pathname: string)
| 1415 | } |
| 1416 | |
| 1417 | function buildFileUri(pathname: string): string | null { |
| 1418 | if (!pathname) return null; |
| 1419 | const normalized = pathname.startsWith("/") ? pathname : `/${pathname}`; |
| 1420 | const encoded = encodeURI(normalized).replace(/#/g, "%23"); |
| 1421 | return `file://${encoded}`; |
| 1422 | } |
no outgoing calls
no test coverage detected