themes: MDL-19077 Don't us $OUTPUT in debugging.

diff --git a/lib/weblib.php b/lib/weblib.php
index c61c4fe92c82034569a194b65e78b49c66bc6793..9f224729323e8f63f6b2848930dd03a720d330ef 100644 (file)
--- 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);
         }