Mam dwie zmienne, które przechowują długość filmów.

[PHP] pobierz, plaintext 
<?php
$zmienna1 = "01:35:34"; // odpowiednio godziny:minuty:sekundy
$zmienna2 = "01:32:54";
?>
[PHP] pobierz, plaintext 

Chciałbym dodać obie długości filmów, ale nie wiem jak to zrobić. Probowałem zmieniać zmienne na znacznik unix'a, ale wynik końcowy się nie zgadzał.

[PHP] pobierz, plaintext 
<?php
$zmienna1 = "01:35:34"; // odpowiednio godziny:minuty:sekundy
$zmienna2 = "01:32:54";
$tmp1 = explode(':', $zmienna1);
$tmp2 = explode(':', $zmienna2);
$tmp1[0] = $tmp1[0]*60*60; 
$tmp2[0] = $tmp2[0]*60*60; 
$tmp1[1] = $tmp1[1]*60; 
$tmp2[1] = $tmp2[1]*60; 
$result = $tmp1[0] + $tmp1[1] + $tmp1[2] + $tmp2[0] + $tmp2[1] + $tmp2[2];
?>
[PHP] pobierz, plaintext 

Potem tylko przekonwertować w formacie godzina:minuta:sekunda. Oczywiście, skrypt nie jest idealny - nadaje się do dodania dwóch czasów, jest też pewnie prostrzy sposób, ale nie znam takiej funkcji PHP