php 转换时间日期格式

$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>