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;
}
//記錄下這弱智的瞬間！