diff --git a/lib/weblib.php b/lib/weblib.php index 59b4ac1a3ad..2f54e627431 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -3668,7 +3668,7 @@ function print_continue($link, $return=false) { $output .= '