From a2095eb806032109dfd20f98f4b48d42f9d94fb9 Mon Sep 17 00:00:00 2001
From: gator <gatordevin@gmail.com>
Date: Mon, 7 Sep 2026 12:39:45 +0000
Subject: [PATCH] Show the time as well as the date, using the shared formatter

---
 videos.html | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/videos.html b/videos.html
index dcafd56..5aaa078 100644
--- a/videos.html
+++ b/videos.html
@@ -39,11 +39,9 @@ var LABEL = {
   failed:       ["failed",    "Did not work"]
 };
 
-function when(s) {
-  if (!s) return "";
-  var d = new Date(s);
-  return isNaN(d) ? s : d.toLocaleDateString(undefined, { year: "numeric", month: "short", day: "numeric" });
-}
+// when() lives in app.js and includes the time. A local copy here used to
+// shadow it and print the date alone, which makes several videos made on one
+// day impossible to tell apart.
 
 function card(p) {
   var st = LABEL[p.status] || ["submitted", p.status || "In the queue"];