Vergangene Zeit - Funktion?

[Lutz Fechner]

Ich habe mir jetzt mal provisorische eine (zugegeben dahingesaute) Funktion gebastelt, die genau das macht, was ich suche. Ich poste sie hier unten mal, damit vielleicht klarer wird, was ich versucht habe, auszudrücken

Es sieht nicht schön aus und ich kann mir nicht vorstellen, dass es da in PHP nichts gibt. Also bitte helft mir!

function buildtime ($stamp)  {
  $dummy = fmod($stamp, 3600);
  $hours = ($stamp-$dummy)/3600;
  $dummy2 = fmod($dummy, 60);
  $minutes = ($dummy-$dummy2)/60;
  if ($minutes<10) $minutes="0".$minutes;
  $seconds = $dummy2;
  if ($seconds<10) $seconds="0".$seconds;
  $finished= $hours.":".$minutes.",".$seconds;
  return $finished;
}