PHPを使用してTime MySQLのデータ型を正しく表示/表示する

Question

ここに最初の質問がありますので、これが明らかであれば私を許してください。私は、私のMySQLデータベースの 'TIME'データ型で作業していて、タイムスタンプの先頭から先頭のゼロをトリミングする最善の方法を見つけようとしているのです。

具体的には、私のデータベースには曲テーブルがあり、そのテーブルにはsong_lengthカラムがあります。この列はTimeデータ型を使用するため、プレゼンテーションは常にhh：mm：ssです。

私の曲がわずか3分42秒（たとえば）の場合、00:03:42ではなく3:42というように表示したいと考えています。このようなものに対処するPHP関数（おそらくdate（）と似ています）が組み込まれていますか？私もあなただったら、アレイへの

Answer 1

スプリットそれは、私は秒数を表す整数としての時間を保存したい、int型

$time = '00:03:42'; 
$parts = explode(':', $time); 
$hours = (int) $parts[0]; 
$minutes = (int) $parts[1]; 
$seconds = (int) $parts[2]; 

として各パーツをキャスト。

Answer 2

あなただけ$hours > 0

$d = new DateTime($time); 
echo $d->format('H') > 0 
    ? ltrim($d->format('H:i:s'), '0') 
    : ltrim($d->format('i:s'), '0'); 

http://ideone.com/eAWun