Convertir una marca de tiempo UNIX en una cadena de fecha formateada

Usando PHP, quiero convertir las marcas de tiempo de UNIX en cadenas de fecha similares a esto:2008-07-17T09:24:17Z

¿Cómo puedo convertir una marca de tiempo como1333699439 a2008-07-17T09:24:17Z?

Respuestas a la pregunta(8)

Su respuesta a la pregunta