praticamente devo ottenere la differenza tra i 2 campi time1 e time 2 e ristampare l'ora in formato corretto.

primo campo $time1 = "10:00:00.00";
secondo campo da sommare al primo $time2 = "00:00:00.05";
risultato che vorrei ottenere $result= 10:00:00.05