Show the time as well as the date, using the shared formatter

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"];