diff --git a/lib/moodlelib.php b/lib/moodlelib.php index a0055d17eab..6892b717506 100644 --- a/lib/moodlelib.php +++ b/lib/moodlelib.php @@ -6035,7 +6035,7 @@ function get_performance_info() { } - $info['html'] = '