PHP java php timestamp timestamp turn

　　/ * * 
     * Java timestamp timestamp transfected php 
     * @param int $ javaUt java timestamp 
     * @return int 
     * @date 2019/8/26 
     * / 
    public  static  function javaUt2PhpUt ( $ javaUt ) 
    { 
        IF (! ( $ JavaUt && $ javaUt > 0 )) {
             return  $ javaUt ; 
        } 

        // first translated into strings 
        $ utStr = $ javaUt ''. ;
         $ utLen = strlen ( $ utStr ); 

        // Java timestamp is less than or equal to 10 13 bit direct return 
        if( $ UtLen <= 10 ) {
             return  $ javaUt ; 
        } 

        // taken and converted into integers 
        return  the intval ( substr ( $ utStr , 0, $ utLen -. 3 )); 
    }