function timestamp(str, ti) { date = new Date(ti*1000); document.getElementById(str).setAttribute("data-bs-original-title", date.toString()); }; function pinned_timestamp(id) { const el = document.getElementById(id) const time = new Date(parseInt(el.dataset.timestamp)*1000) el.setAttribute("data-bs-original-title", `Pinned until ${time}`) } function expandDesktopImage(image) { document.getElementById("desktop-expanded-image").src = image.replace("200w_d.webp", "giphy.webp"); document.getElementById("desktop-expanded-image-link").href = image; document.getElementById("desktop-expanded-image-wrap-link").href=image; };