php中的时间处理

<?/*** 转换为UNIX时间戳*/function gettime($d) { if(is_numeric($d)) return $d; else { if(! is_string($d)) return 0; if(ereg(":",$d)) { $buf = split(" +",$d); $year = split("[-/]",$buf[0]); $hour = split(":",$buf[1]); if(eregi("pm",$buf[2])) $hour[0] += 12; retu