$time1="Jun 13 15:56:38 2014";
$datestamp=strtotime($time1);
echo $datestamp;
echo "<br>";
echo date("Y-m-d H:i:s",$datestamp);
由于系统制定格式类似于 2014-07-08T14:10:20,所以修改
echo date("Y-m-d H:i:s",$datestamp);
为
echo date("Y-m-d",$datestamp)."T".<span style="font-family: Arial, Helvetica, sans-serif;">date("H:i:s",$datestamp);</span>