diff --git a/lib/tablelib.php b/lib/tablelib.php index 99d72a0d41a..ff5474a677e 100644 --- a/lib/tablelib.php +++ b/lib/tablelib.php @@ -924,7 +924,7 @@ class flexible_table { echo '