a4sex / php / library / jwt-manager