php时间函数php把秒数转换为时长(h:i:s格式)

/** 
 * 把秒数转换为时分秒的格式 
 * @param Int $times 时间，单位 秒 
 * @return String 
 */ 
function secToTime($times){ 
 $result = '00:00:00'; 
 if ($times>0) { 
 $hour = floor($times/3600); 
 $minute = floor(($times-3600 * $hour)/60); 
 $second = floor((($times-3600 * $hour) - 60 * $minute) % 60); 
 $result = $hour.':'.$minute.':'.$second; 
 } 
 return $result; 
}