diff --git a/lib/adminlib.php b/lib/adminlib.php index ceb69e82a5a..5c2bfd920ca 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -4298,7 +4298,7 @@ function format_admin_setting($setting, $title='', $form='', $description='', $l } $str = ' -