diff --git a/settings.php b/settings.php index f9c67e6..5443a03 100644 --- a/settings.php +++ b/settings.php @@ -59,7 +59,7 @@ if ($ADMIN->fulltree) { $settings->add(new admin_setting_configselect('auth_userkey/updateuser', new lang_string('updateuser', 'auth_userkey'), new lang_string('updateuser_desc', 'auth_userkey'), 0, $yesno)); - + // Display locking / mapping of profile fields. $authplugin = get_auth_plugin('userkey'); display_auth_lock_options($settings, $authplugin->authtype,