Update docs of phpCAS