diff -r c0c445d4a13e -r eb9ed4c366d0 punbb/include/common.php
--- a/punbb/include/common.php	Thu Jul 12 15:00:35 2007 -0400
+++ b/punbb/include/common.php	Sun Sep 02 10:56:36 2007 -0400
@@ -23,11 +23,11 @@
 ************************************************************************/
 
 // Enable DEBUG mode by removing // from the following line
-define('PUN_DEBUG', 1);
+// define('PUN_DEBUG', 1);
 
 // This displays all executed queries in the page footer.
 // DO NOT enable this in a production environment!
-define('PUN_SHOW_QUERIES', 1);
+// define('PUN_SHOW_QUERIES', 1);
 
 if (!defined('PUN_ROOT'))
 	exit('The constant PUN_ROOT must be defined and point to a valid PunBB installation root directory.');
@@ -47,13 +47,14 @@
 
 // Record the start time (will be used to calculate the generation time for the page)
 
-function get_microtime()
+function pun_microtime()
 {
   list($usec, $sec) = explode(' ', microtime());
   return ((float)$usec + (float)$sec);
 }
 
-$pun_start = get_microtime();
+$GLOBALS['pun_start'] = pun_microtime();
+$pun_start =& $GLOBALS['pun_start'];
 
 // Make sure PHP reports all errors except E_NOTICE. PunBB supports E_ALL, but a lot of scripts it may interact with, do not.
 error_reporting(E_ALL);