[php] Zeit formatieren

[MikeTech]

Hallo zusammen,

ich habe folgendes Problem:

Ich habe eine Variable die eine Zahl an Sekunden enthält, beispiel: 29884

So.. jetzt möchte ich diese Sekunden gerne so formatieren, dass ich 
Stunde:Minute:Sekunde erhalte. Gibts dafür ne fertige Funktion?

Also dass dann in einem String steht: 23:52:10


Danke im voraus

Mike