CAS server implemented in PHP