php: retrieve user id using arrow syntax in createToken