diff --git a/lib/adminlib.php b/lib/adminlib.php index 5062c998f0b..2e8121bcc32 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -6217,9 +6217,8 @@ function format_admin_setting($setting, $title='', $form='', $description='', $l $str = '
- + + '.highlightfast($query, $name).'
'.$form.$defaultinfo.'
'.highlight($query, markdown_to_html($description)).'