window.escHtml = (s) => String(s)
.replace(/&/g, '&')
.replace(/</g, '<')
.replace(/>/g, '>')
.replace(/"/g, '"');
window.copyToClipboard = async (text, $btnElement) => {
try {
await navigator.clipboard.writeText(text);
const originalText = $btnElement.text();
$btnElement.text("Copied!");
setTimeout(() => { $btnElement.text(originalText); }, 1500);
} catch (err) {
console.error('Failed to copy', err);
}
};