diff --git a/lib/tablelib.php b/lib/tablelib.php index 06e97dc26c54a..d1fb84d9877b0 100644 --- a/lib/tablelib.php +++ b/lib/tablelib.php @@ -1685,6 +1685,7 @@ function start_document($filename) {