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));
    }