Estoy trabajando con documentos de Excel usando scripts PHP y no puedo determinar qué tipo de datos / formato PT00H00M00S es, y posteriormente no puedo encontrar una manera de trabajar con ellos sin usar expresiones regulares. Me gustaría convertir esto en un formato de hora más estándar (00:00:00) y no puedo investigar esto en Google porque no sé cómo se llama "PT ... S" como un tipo de fecha /formato.

Por favor, ayúdame.