PHP處理javascript傳遞過來的時間戳問題[PHP]

 javascript取得時間戳的長整數長度會得到13位（好像會因系統而有所差異）

有些瀏覽器是10位有些13位

而

PHP取得時間戳的長整數是10位,所以需要做處理

我是直接字串取1~10,也有人直接用javascript除1000

echo("時間解析</br>");

echo "時間長度:";

echo strlen( $str_sec[0] );

echo("</br>");

if($str_sec[0]>10)

$str01=substr( $str_sec[0] , 0 ,10 );

echo $str01;

echo("</br>");

echo date('m/d/Y', $str01);