Function formatTime

devtools/modules/utils.js:45–55

(timestamp)

}

export function formatTime(timestamp) {
  const date = new Date(timestamp);
  const timeStr = date.toLocaleTimeString('en-US', {
    hour12: false,
    hour: '2-digit',
    minute: '2-digit',
    second: '2-digit'
  });
  const milliseconds = String(date.getMilliseconds()).padStart(3, '0');
  return `${timeStr}.${milliseconds}`;
}

export function formatTimestampForExport(timestamp) {
  const date = new Date(timestamp);