El código seria el siguiente
Código PHP:
/////////////////////////////////////////////////////
//diferencia entre dos horas dadas //
/////////////////////////////////////////////////////
function timediff($hora,$hora1){
$hora=explode(':',$hora);
$hora1=explode(':',$hora1);
$nueva = mktime($hora[0],$hora[1],$hora[2],0,0,0);
$nueva1 = mktime($hora1[0],$hora1[1],$hora1[2],0,0,0);
$nueva=$nueva1-$nueva;
$nuevahora=date("g:i:s",$nueva);
return $nuevahora;
}