✔ Beliebige Zahl in eine Zeit umwandeln

[NTDY]

Ich möchte eine beliebige Zahl in eine Zeit umwandeln. Damit soll aber geachtet werden, dass es auch Milisekunden gibt

Zahl -> Zeit (Minuten:Sekunden.Millisekunden)
------------
0.5 -> 0:00.50
1.0 -> 0:01.00
1.5 -> 0:01.50
5.0 -> 0:05.00
60  -> 1:00.00
120 -> 2:00.00

Gibt es in PHP solch eine Funktion oder hat jemand eine Idee wie man dies bewerkstelligen kann?

 

[Gumbo]

function foobar( $seconds )
{
	if( !is_numeric($seconds) || $seconds < 0 ) {
		return false;
	}
	return sprintf(
		'%01u:%02u.%02u',
		floor($seconds / 60),
		floor($seconds % 60) ,
		($seconds - floor($seconds)) * 100
	);
}