Scribbler310's picture
feat: enhance dashboard
c2b7eb3 verified
Raw
History Blame Contribute Delete
198 Bytes
export function encodePointer(p: string): string {
return encodeURI(escapePointer(p));
}
export function escapePointer(p: string): string {
return p.replace(/~/g, '~0').replace(/\//g, '~1');
}