(value?: string)
| 454 | } |
| 455 | |
| 456 | function prettyLane(value?: string) { |
| 457 | if (!value) return "—"; |
| 458 | return value.replace(/-/g, " ").replace(/_/g, " ").toUpperCase(); |
| 459 | } |
| 460 | |
| 461 | function prettifySource(source?: string) { |
| 462 | if (!source) return "unspecified"; |