[PHP] Milliseconde omzetten naar tijd

[Verwijderd]

Heeft iemand misschien een idee hoe ik milliseconde om kan zetten naar een hh:mm:ss:mmm formaat?

Ik wil dit in PHP gaan doen, maar zover ik kan zien gaan ze daar alleen maar vanaf de seconde (strftime).

[Verwijderd]

haal de hele seconden uit de ms -> strftime
wat overblijft plak je er achter

[Verwijderd]

idd, daar kwam ik ook achter. Hier is de code welke ik geschreven heb en ervoor gebruikt kan worden:

PHP:

// $tijd bevat een aantal milliseconden
$ms = ($tijd/1000);
$ms = number_format($ms, 3, '.', '');
$rest = substr($ms, -3);
$tijd = substr($tijd, 0, -3);
$nieuw = strftime("%T",$tijd);
echo "$nieuw:$rest"; //Tijd in hh:mm:ss:mmm