diff -r eb9ed4c366d0 -r e3d7322305bf punbb/include/common.php
--- a/punbb/include/common.php	Sun Sep 02 10:56:36 2007 -0400
+++ b/punbb/include/common.php	Sun Sep 02 11:00:57 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,14 +47,13 @@
 
 // Record the start time (will be used to calculate the generation time for the page)
 
-function pun_microtime()
+function get_microtime()
 {
   list($usec, $sec) = explode(' ', microtime());
   return ((float)$usec + (float)$sec);
 }
 
-$GLOBALS['pun_start'] = pun_microtime();
-$pun_start =& $GLOBALS['pun_start'];
+$pun_start = get_microtime();
 
 // 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);