estoy trabajando con PHP y necesito formatear Segundos con decimales y obtener 00:00:000 (Minutos:Segundos:Milisegundos)
Logre algo pero no estoy seguro si es la manera correcta de hacerlo:
$valor = 80.344;
$formato = floor($valor / 60).':'.floor($valor % 60).':'.(explode('.', number_format($valor, 3))[1]);
80.344
$valor
? Aparentemente son segundos, pero me gustaría que lo ratificaras ¿El problema es convertir una variable que tiene segundos en minutos:segundos:milisegundos?80.344
? ¿A80.344
minutos, segundos, milisegundos, nanosegundos, días, meses, semanas, años, trimestres, semestres, años bisiestos, años luz...? ¿Son ochenta mil trescientos cuarenta y cuatro o son ochenta punto trescientos cuarenta y cuatro? Aclarado eso, ¿qué es lo que quieres hacer con ese valor, en qué formato quieres la salida?