Lines Matching refs:is
6 environment variable of the web server which is set through authentication
19 Default variable name is `REMOTE_USER`.
41 1. Default is `REMOTE_USER`.
57 username in `_SERVER[...]` whereby `...` is the variable name of your
60 3. Add this value as new user ID to your user list if it is missing and
93 Administration of users and its groups is done in the *User Manager* which is
98 *AuthRemoteUser* uses the same storage backend like *authplain* that is
102 That is: You can switch back to *authplain* (and enable `profile` setting)
126 Comma separated list of groups a user is member of. The group names must
132 Since `conf/users.auth.php` is a plain text file, it can be edited with any
137 [^1]: Don't be surprised: The user ID is converted to a valid page name.