convertir secondes en hh:mm:ss

Bonjour tout le monde Est ce que quelqu'un peux me donner une fonction php qui permet de convertir un nombre de secondes au format hh:mm:ss. Merci d'avance.

Je sais pas si il y a une fonction "built in", mais au pire elle est pas compliquée à faire...

<?php

function secondsToTime($seconds){
return floor($seconds/3600).':'.(floor($seconds/60)%60).':'.$seconds%60;
}
?>

Pas testé, mais ça devrait marcher ;-)

Merci pour la fonction je l'ai testé mais ca ne marche toujour pas donc j'ai essayé de rédiger une fonction comme suit: $diff=strtotime($row2['sortie'])-strtotime($row2['entree']); $h=$diff/3600; $m=($diff/60)%60; $s=$diff%60; echo $h.":".$m.":".$s.'; A +