PHP Json格式化时间处理

/*
* 格式化Json时间  Dx -add
* date='/Date(1464883200000)/'
* PHP的时间戳是10位的。而json格式化后的时间戳是13位的。0补位。
*/
function renderTime($date) {
$dates=str_replace("/Date(", "",$date);
$dates=str_replace(")/", "", $dates);
$newdate=substr($dates,0,strlen($dates)-3);
return $newdate;
}
//记录下这弱智的瞬间！