Scribbler310's picture
feat: enhance dashboard
c2b7eb3 verified
export function encodePointer(p) {
return encodeURI(escapePointer(p));
}
export function escapePointer(p) {
return p.replace(/~/g, '~0').replace(/\//g, '~1');
}