$time1 = 15:20:00; $time2 = 00:30:00; $time = $time1+$time2;
$o = strtotime($time1)strtotime($time2);
如果我记得正确的strtotime确实支持这种格式.
否则你需要自己过滤掉它.