Hola,
Gracias a los 2 por vuestras soluciones. Al final he tenido que hacer una función que convierta los segundos a 'H:i:s' y pasarle los segundos que vienen de MySQL con SUM(TIME_TO_SEC(tiempo)).
La consulta en MySQL ha sido
Código PHP:
Ver original$query = "SELECT SUM(TIME_TO_SEC(tiempo)) FROM 'prefijo_tiempos' WHERE id_usuario IN $array";
// Array viene de otra petición que me da en una matriz los id de todos los usuarios de los que necesito tiempo
Por si a alguien le sirve la función os la dejo, aunque es básica de pasar segundos a H:i:s
Código PHP:
Ver originalfunction segundos_a_hora($t){
$tiempo = (int) $t;
$segundos = $tiempo%60;
$sobra = floor($tiempo/60); $minutos = $sobra%60;
$horas = floor($sobra/60);
return "$horas:$minutos:$segundos";
}
Muchas gracias a los dos, de nuevo, pero no consigo hacerme con el manejo de fechas nativos de PHP