diff --git a/lib/weblib.php b/lib/weblib.php index 6e8a0d4f4ce..3607d7050cf 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -2489,7 +2489,7 @@ function print_table($table) { if (!isset($align[$key])) { $align[$key] = ''; } - echo '