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