From dc203659af1c4a8c335dc6327547917f8606b76e Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Mon, 13 Jul 2009 06:16:48 +0000
Subject: [PATCH] themes: MDL-19077 Don't us $OUTPUT in debugging.

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index c61c4fe92c..9f22472932 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -5442,7 +5442,7 @@ function debugging($message = '', $level = DEBUG_NORMAL, $backtrace = null) {
             if (!defined('DEBUGGING_PRINTED')) {
                 define('DEBUGGING_PRINTED', 1); // indicates we have printed something
             }
-            notify($message . $from, 'notifytiny');
+            echo '<div class="notifytiny">' . $message . $from . '</div>';
         } else {
             trigger_error($message . $from, E_USER_NOTICE);
         }
-- 
2.39.5