PHP java时间戳转php时间戳

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