diff --git a/user/edit.html b/user/edit.html index d6ac6a319af..ab732a176bd 100644 --- a/user/edit.html +++ b/user/edit.html @@ -41,6 +41,7 @@ if (isadmin()) { echo "\n"; $modules = get_list_of_plugins("auth"); + $auth_options = array(); foreach ($modules as $module) { $auth_options[$module] = get_string("auth_$module"."title", "auth"); }