php 时间秒数转换成H:i:s

function changeTimeType($seconds){
if ($seconds>3600){
$hours = intval($seconds/3600);
$minutes = $seconds-3600*$hours;
$time = $hours.":".gmstrftime('%M:%S', $minutes);
}else{
$time = gmstrftime('%H:%M:%S', $seconds);
}
return $time;
}

$seconds = 3800;

echo changeTimeType($seconds);exit;