Php 将太平洋时间字符串转换为时间

我有PT19H15M、PT10H、PT5M等时间字符串

PT19H15M等于19:15 PT10H等于10:00 PT5M等于00:05

我想把每个字符串转换成平常的时间

是否有任何内置方法

格式为的，受支持的，具有方便方法的

例如：

echo (new DateInterval("PT19H15M"))->format("%H:%I");

将输出：

19:15

---

请注意，其中的“PT”不代表太平洋时间。P代表期间并表示持续时间表示的开始，而T表示时间部分的开始-年、月等也受支持，例如P2YT19H将为2年19小时