date+date php

[kodode]

io farei:

$trova="SELECT TIMEDIFF(ora_end, ora_start) AS ORA , operaio, id FROM operazioni WHERE operaio ='simone' "; 
$risultato_trova = mysql_query( $trova ) ;  

while( $res=mysql_fetch_row( $risultato_trova ) ){ 

echo"
risultato ->".  $res["ORA"] ; 

$ORA = $res["ORA"] ;

//IMPOSTAZIONI VARIABILI
list( $TOTore , $TOTminuti , $TOTsecondi  ) = explode( ":" , $totale ) ;
list( $ore      , $minuti       , $secondi        ) = explode( ":" , $ORA )   ;
    
//SOMMA ORA
$totale = mktime( $TOTore +  $ore , $TOTminuti  + $minuti , $TOTsecondi + $secondi   , 01 , 01 , 2000 ) ;

} 

echo 'risultato:' .date("H:i:s", $totale); 

lo provi e mi dici che ne pensi?