c2b7eb3
1
2
3
4
5
6
7
8
export function encodePointer(p: string): string { return encodeURI(escapePointer(p)); } export function escapePointer(p: string): string { return p.replace(/~/g, '~0').replace(/\//g, '~1'); }
