Hai le idee confuse.
10h:00m:00s.5 + 65secondi fa 10:01:05.5
e il .5 sono 5decimi di secondo, quindi 50 centesimi.
Comunque:
Risultato da troncare in base alla precisione che ti serve, così ti restituisce fino al microsecondo.Codice PHP:
$time1 = "10:00:00.5";
$time2 = "65";
$result = new DateTime($time1 . " + " . $time2 . " seconds");
echo $result->format('H:i:s.u');