Comment convertir le timestamp dans la chaîne de date/heure en PHP?

J'ai besoin de construire un DateTime de nombre entier en timestamp Unix 1329272833. La documentation dit le constructeur a besoin d'une "date/heure", la chaîne 2006-04-12T12:30:00. J'manuellement fait ma propre conversion:

$dateTimeEnd = new DateTime(
    date('Y-m-d\TH-i-s', 1329272833)
);

N'PHP ont une fonction intégrée pour faire cette conversion?

InformationsquelleAutor JoJo | 2012-02-22