Ecco come ho risolto, sicuramente poco elegante ma sembra funzionare.
Accetto consigli su come migliorarlo
codice:
$time1="13:59:59.01";
$time2="13:00:00.00";
$ore_time_1 = substr($time1, -11, -9);
$minuti_time_1 = substr($time1, -8, -6);
$secondi_time_1 = substr($time1, -5, -3);
$centesimi_time_1 = substr($time1, -2, 2);
$ore_time_2 = substr($time2, -11, -9);
$minuti_time_2 = substr($time2, -8, -6);
$secondi_time_2 = substr($time2, -5, -3);
$centesimi_time_2 = substr($time2, -2, 2);
$dif_time_ora=$ore_time_1-$ore_time_2; $dif_time_ora=$dif_time_ora*60*100*60;
$dif_time_minuti=$minuti_time_1-$minuti_time_2; $dif_time_minuti=$dif_time_minuti*60*100;
$dif_time_secondi=$secondi_time_1-$secondi_time_2; $dif_time_secondi=$dif_time_secondi*100;
$dif_time_centesimi=$centesimi_time_1-$centesimi_time_2;
$somma_penalità_totali=$dif_time_ora+$dif_time_minuti+$dif_time_secondi+$dif_time_centesimi;
echo $somma_penalità_totali;