diff --git a/lib/adminlib.php b/lib/adminlib.php index e7d97c512f5..397bbf17107 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -6237,9 +6237,8 @@ function format_admin_setting($setting, $title='', $form='', $description='', $l $str = '