php - 这是什么时间格式

Question

我正在从一些 api 获取一些数据，并且我正在获取以下格式的时间/

PT127M
PT95M

分别表示 127 分钟和 95 分钟。我想使用默认函数从中得到 127。现在我正在使用如下快捷方式

$duration = "PT127M";
$duration = preg_replace("/[^0-9]/","",$duration);

有人告诉我这是什么格式，是否有任何 php 函数可以从中检索 session 记录。

Answer 1

您可以获得这样的 session 记录:

    $duration = 'PT127M';
    $di = new DateInterval($duration);
    $minutes =  $di->format('%i');

更多信息在这里:http://php.net/manual/en/class.dateinterval.php