diff --git a/lib/weblib.php b/lib/weblib.php index 95b78d978db..9a0dde057bc 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -3059,7 +3059,7 @@ function print_single_button($link, $options, $label='OK', $method='get', $targe $output .= '