diff --git a/lib/weblib.php b/lib/weblib.php
index bcd6d5aafe0..1c04bdfb6f7 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1971,12 +1971,12 @@ function print_footer($course=NULL, $usercourse=NULL) {
 
 /// Provide some performance info if required
     $performanceinfo = '';
-    if (defined('MDL_PERF') || $CFG->debug > 7 || !empty($CFG->perfdebug)) {
+    if (defined('MDL_PERF') || $CFG->debug > 7 || $CFG->perfdebug > 7) {
         $perf = get_performance_info();
         if (defined('MDL_PERFTOLOG')) {
             error_log("PERF: " . $perf['txt']);
         }
-        if (defined('MDL_PERFTOFOOT') || $CFG->debug > 7 || !empty($CFG->perfdebug)) {
+        if (defined('MDL_PERFTOFOOT') || $CFG->debug > 7 || $CFG->perfdebug > 7) {
             $performanceinfo = $perf['html'];
         }
     }