tiny update

2026-08-24 09:35:03 -05:00
parent fcc6cc53be
commit 0921e39333
131 changed files with 9948 additions and 1076 deletions
@@ -23,7 +23,7 @@ const ROLE_COLORS = {
 function escapeHtml(str) {
  const div = document.createElement("div");
  div.textContent = str;
-  return div.innerHTML;
+  return div.innerHTML.replace(/"/g, "&quot;").replace(/'/g, "&#39;");
 }

 function formatTime(ts) {