diff --git a/lib/weblib.php b/lib/weblib.php index 042be9ffaf8..88a0f90b82c 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -1338,7 +1338,7 @@ function print_table($table) { foreach ($table->data as $row) { echo "