秒数转换成时分秒格式

格式到  分：秒 -> 00:10

        $times = '10.036';
        $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);  
                if(strlen($minute) == 1) {
                    $minute = '0'.$minute;
                }
                if(strlen($second) == 1) {
                    $second = '0'.$second;
                }
                $result = $minute.':'.$second;  
        }  
        return $result; 

格式到 时分秒 -> 00:00:10

        $times = '10.223';
        $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);  
                if(strlen($minute) == 1) {
                    $minute = '0'.$minute;
                }
                if(strlen($second) == 1) {
                    $second = '0'.$second;
                }
                if(strlen($hour) == 1) {
                    $hour = '0'.$hour;
                }
                 $result = $hour.':'.$minute.':'.$second;  
        }  
        return $result;