hostname)) { $config->hostname = ''; } if (!isset ($config->port)) { $config->port = ''; } if (!isset ($config->casversion)) { $config->casversion = ''; } if (!isset ($config->baseuri)) { $config->baseuri = ''; } if (!isset ($config->language)) { $config->language = ''; } if (!isset ($config->use_cas)) { $config->use_cas = ''; } if (!isset ($config->auth_user_create)) { $config->auth_user_create = '0'; } if (!isset ($config->create_user)) { $config->create_user = '0'; } if (!isset($config->changepasswordurl)) { $config->changepasswordurl = ''; } ?>
|
||
: | use_cas, get_string('no'), '', ''); ?> | |
: | ||
: | ||
: | ||
: | ||
: | language, ''); ?> | |
: | auth_user_create, ''); if (isset($err['auth_user_create'])) { formerr($err['auth_user_create']); } ?> | |
: | create_user, ''); ?> | |
: |