in tutorials/viewer/src/video_view.tsx [19:27]
function formatTimestamp(ts: number) {
let total_seconds = Math.floor(ts);
let ms = ts - total_seconds;
let minutes = Math.floor(total_seconds / 60);
let secs = total_seconds - minutes * 60;
let ms_str = ms.toFixed(2).substr(2);
let secs_str = secs.toFixed(0);
return zeroPadding(minutes.toFixed(0), 2) + ":" + zeroPadding(secs.toFixed(0), 2);
}