Translations:Extension:AutomaticCAS USER/6/en

Save the file as /extensions/Auth_cas/Auth_cas.php