php - PHP gmdate 関数を使用して 00:00:23 を 00:23 に変換する方法

Question

アプリでビデオの再生時間を表示するこのコードがあります。

$duration = 23; // seconds
$duration = gmdate("H:i:s", $duration);

上記のコードは 00:00:23 を出力しますが、23 秒なので時間フィールドは必要ありません。00:23 秒を表示したいと思います。たとえば、ビデオの長さが 1 時間以上の場合は、01 を表示する必要があります。 24:19

何か案が？

ありがとう

Answer 1

これを試して：

$duration = gmdate($duration >= 3600 ? 'H:i:s' : 'i:s', $duration);

Answer 2

上記のコードは 00:00:23 を出力しますが、時間フィールドは 23 秒なので必要ありません。00:23 秒を表示したいと思います。たとえば、ビデオの長さが 1 時間以上の場合は、01 を表示する必要があります。 24:19

簡単なifはどうですか？

<?php
$duration = $duration >= ( 60 * 60 ) ? gmdate( 'H:i:s', $duration ) : gmdate( 'i:s', $duration );
echo $duration;

Answer 3

$duration = gmdate( ($duration >= 3600 ? "H:i:s" : "i:s"), $duration);