esiste una funzione in php che riesce a fare la somma di orari (ad esempio aggiungere 5 min ad un certo orario e che gestisca il fatto che dopo le 23:59:59 venga 00:00:00)??