diff --git a/lib/weblib.php b/lib/weblib.php index 16fbcbe2474..379a6931b8f 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -3061,7 +3061,7 @@ function print_single_button($link, $options, $label='OK', $method='get', $targe $output .= '