La solucion que he encontrado es esta
Código PHP:
Ver originalfunction conversor_segundos($seg_ini) {
$horas = floor($seg_ini/3600); $minutos = floor(($seg_ini-($horas*3600))/60); $segundos = $seg_ini-($horas*3600)-($minutos*60);
return $horas.':'.$minutos.':'.$segundos.' ';
}