java时间戳转php时间戳

$utStr = $javaUt . '';
$utLen = strlen($utStr);

if ($utLen <= 10) {
 return $javaUt;
 }

return intval(substr($utStr, 0, $utLen - 3));

/**
 * java时间戳转php时间戳
 * @param int $javaUt java的时间戳
 * @return int
 * @Date 2019/8/26
 */
 public static function javaUt2PhpUt($javaUt)
 {
 if (!($javaUt && $javaUt > 0)) {
 return $javaUt;
 }
 // 先转成字符串
 $utStr = $javaUt . '';
 $utLen = strlen($utStr);
 // java的时间戳是13位 小于等于10位的直接返回
 if ($utLen <= 10) {
 return $javaUt;
 }
 // 截取并且转成整型
 return intval(substr($utStr, 0, $utLen - 3));
 }