diff --git a/admin/auth.php b/admin/auth.php index 10035f82ef1..e092f8713e9 100644 --- a/admin/auth.php +++ b/admin/auth.php @@ -217,7 +217,7 @@ admin_externalpage_print_header($adminroot); print_simple_box(get_string('configauthenticationplugins', 'admin'), 'center', '700'); echo "