Operacje na czasie Opcje

[migacz]

Mam następujący problem. Pobieram z bazy pola w formacie time powiedzmy że czas1 i czas2. Musze wykonać na tym podstawowe dzialania tzn dodawanie i odejmowanie. jak pobrać lub sformatować te dane aby wynik tez był wyświtlany w formie czasu. (czas1=9:00 czas2=10:15 czas2-czas1=1:15)
Z góry dzięki

[mrbungle]

Oto moja funkcja którą sobie sam do tego napisałem jakiś czas temu (IMG:http://forum.php.pl/style_emoticons/default/winksmiley.jpg)

[PHP] pobierz, plaintext 
<?php
function TimeOperation($time1, $op, $time2)
    {
        
        // przygotowanie danych
        $trans = array(60*60, 60, 1);
        
        $t1 = explode(':', $time1);
        $t2 = explode(':', $time2);
        
        $time1 = 0;
        
        for($i=0; $i<3; $i++)
        {
            if(array_key_exists($i, $t1))
                $time1 += $trans[$i]*$t1[$i];
        }
        
        
        $time2 = 0;
        
        for($i=0; $i<3; $i++)
        {
            if(array_key_exists($i, $t2))
                $time2 += $trans[$i]*$t2[$i];
        }
        
        
        // jesli dodawanie
        if($op == '+')
            $time = $time1 + $time2;
        elseif($op == '-')
            $time = $time1 - $time2;
        else 
            return(false); 
        
        $out = array();
        
        for($i=0; $i<3; $i++)
        {
            $out[$i] = $time%60;
            
            if(strlen($out[$i]) < 2)
                $out[$i] = '0'.$out[$i];
            
            $time = intval($time/60);
        }
        
        return(implode(':', array_reverse($out)));
        
    }
?>
[PHP] pobierz, plaintext