(p: string)
| 376 | } |
| 377 | |
| 378 | export function platformPathToUrlPath(p: string): string { |
| 379 | p = platformPathToPreferredCase(p); |
| 380 | if (process.platform === 'win32') { |
| 381 | p = p.replace(/\\/g, '/'); |
| 382 | } |
| 383 | |
| 384 | return encodeURI(p); |
| 385 | } |
| 386 | |
| 387 | export function platformPathToPreferredCase(p: string): string; |
| 388 | export function platformPathToPreferredCase(p: string | undefined): string | undefined; |
no test coverage detected