sommare ore minuti e secondi

[mansportivo]

avrei bisogno di sommare dei campi time che provengono da mysql

il formato è ovviamente hh:mm:ss (così per interderci 01:00:00 1 ora o 00:20:00 20 minuti)

c'è qualche funzione apposita o bisogna decodificare tutto in secondi e poi fare la riconversione?

grazie anticipatamente per le eventuali risposte e buona giornata a tutti

[dottwatson]

che io sappia una funzione apposta non c'è , e comunque non è neanche un impresa titanica doverlo fare...

<?php


function sum_seconds($time)
  {
  list($h,$m,$s)=explode(':',$time);
  $secs_X_h=60*60*$h;
  $secs_X_m=60*$m;
  return ($secs_X_h+$secs_X_m+$s);
  }



echo sum_seconds('6:45:20');

?>