Effettivamente facendo qualche prova è strano
Ho risolto così, ma non è ortodosso
Codice PHP:
$tempo_inizio"16:59:37";
$ora_attuale"17:07:34";
$differenza=(strtotime($ora_attuale) - strtotime($tempo_inizio));
$ore floor($differenza 3600);
$minuti floor(($differenza%3600)/60);
$secondi $differenza%60;
$dif date("H:i:s"$differenza);
$dif2 "$ore:$minuti:$secondi";
echo 
"$dif
$dif2"
$dif2 funziona a differenza di $dif1... e sicuramente è una cosa stupida che non conosco