Ne pas tomber dans le piège d'utiliser les fonctions de date pour cela! Ce que vous avez ici est un intervalle de temps, pas une date. L'approche naïve est de faire quelque chose comme ceci:
date("h:i:s.u", $mytime/1000)
mais parce que la fonction de la date est utilisée pour (gasp!) Dates, il ne gère pas le temps de la façon que vous le voulez dans cette situation - il faut les fuseaux horaires et l'heure d'été, etc., sont pris en compte lors du formatage d'une date/heure.
Au lieu de cela, vous voudrez probablement juste faire quelques mathématiques simples:
$input = 70135;
$uSec = $input % 1000;
$input = floor($input/1000);
$seconds = $input % 60;
$input = floor($input/60);
$minutes = $input % 60;
$input = floor($input/60);
// and so on, for as long as you require.
Nous avions tort, vous avez raison;) ++ 1 –
Ce serait toujours un hack, mais vous pouvez utiliser 'gmdate()' si vous êtes sûr que vos valeurs seront inférieures à 24 heures. – soulmerge
Parfait! Merci un million! – designvoid