I want to output a "race time" format like "1:03:57.311" Hour:Minutes:Seconds:Microsecond My input format are seconds (float) like 3837.3113
So how can I format the seconds like "3837.3113" to this "race time" format: 1:03:57.311 with PHP?
Solution:
function format_race_time($t,$f=':') // t = seconds, f = separator
{
return sprintf("%02d%s%02d%s%02d%s%02d", floor($t/3600), $f, ($t/60)%60, $f, $t%60, $f, round(($t-round($t))*1000));
}