1 files changed, 12 insertions, 1 deletions
diff --git a/includes/common.inc b/includes/common.inc
index 86a7ae9f7..3e5d6f936 100644
--- a/includes/common.inc
+++ b/includes/common.inc
@@ -422,7 +422,14 @@ function timer_print() {
   global $timer;
   $stop = explode(" ", microtime());
   $diff = $stop[0] - $timer[0];
-  print "<PRE>execution time: $diff ms</PRE>";
+  print "<pre>execution time: $diff ms</pre>";
+}
+
+function query_print() {
+  global $queries;
+  print "<pre>";
+  print_r($queries);
+  print "</pre>";
 }
 
 function page_header() {
@@ -443,6 +450,10 @@ function page_footer() {
     timer_print();
   }
 
+  if (variable_get("dev_query", 0)) {
+    query_print();
+  }
+
   if (variable_get("cache", 0)) {
     cache_set();
   }