PHP Rest CAS is a RESTful API to access CAS. These file contains all the functions that the API exposes