Function applyWrap

uai/uai.ts:70–75

(s: string, collapse?: boolean)

};

function trimBase(url: string): string {
    return url.replace(/\/$/, "");
}

function formatDate(date: Date): string {
    const y = date.getFullYear();
    const m = String(date.getMonth() + 1).padStart(2, "0");
    const d = String(date.getDate()).padStart(2, "0");
    const h = String(date.getHours()).padStart(2, "0");