Salve devo sommare due orari in questo formato:

$a = 13:11;
$b = 12:54;

$c= $a + $b;

per quanto riguarda l'ora se supera 24 fa niente mentre mi interessa la gestione dei minuti una volta arrivato a 60.

Qualcuno sa come si fa? forse bisogna convertire in questo modo ad esempio 13.11 + 12.54 in modo che diventano numeri decimali da sommare?

Grazie