When using DEBUG_DEVELOPER, make error(...) output a stack trace.

diff --git a/lib/weblib.php b/lib/weblib.php
index cbcdbd19503eb8fa235127eecdcc20546398cfe1..81b0a2da7d2e145b59870a3652ff05a37a396007 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -5062,6 +5062,8 @@ function error ($message, $link='') {
     echo '<br />';
     print_simple_box($message, '', '', '', '', 'errorbox');
 
+    debugging('Stack trace:', DEBUG_DEVELOPER);
+
     // in case we are logging upgrade in admin/index.php stop it
     if (function_exists('upgrade_log_finish')) {
         upgrade_log_finish();