--- devel.module.orig	2007-03-27 05:00:51.621362900 +0200
+++ devel.module	2007-03-27 05:05:55.846002400 +0200
@@ -422,16 +422,9 @@ function devel_shutdown() {
       }
       $output .= '<div class="dev-memory-usage"><h3>'. 'Memory usage:' .'</h3>'. theme('item_list', $list) .'</div>';
     }
-    // TODO: gzip this text if we are sending a gzip page. see drupal_page_header(). 
-    // this makes sure all of the HTML is within the <body> even though this <script> is outside it
-    print '<script type="text/javascript">
-      $(document).ready(function() {
-        $("body").append("'. str_replace(array("\r", "\n", "<", ">", "&"),
-                                         array('\r', '\n', '\x3c', '\x3e', '\x26'),
-                                         addslashes($output)) .'");
-      });
-    </script>';
-  }             
+    // TODO: gzip this text if we are sending a gzip page. see drupal_page_header().
+    print $output;
+  }
 
   devel_store_queries();
 }
