diff --git a/lib/moodlelib.php b/lib/moodlelib.php index b8104fa6e1d..04b0022b4db 100644 --- a/lib/moodlelib.php +++ b/lib/moodlelib.php @@ -9240,8 +9240,8 @@ function get_performance_info() { $mode = ' [r]'; break; } - $html .= '