diff -r c0c445d4a13e -r eb9ed4c366d0 punbb/footer.php --- a/punbb/footer.php Thu Jul 12 15:00:35 2007 -0400 +++ b/punbb/footer.php Sun Sep 02 10:56:36 2007 -0400 @@ -112,10 +112,11 @@ // Display debug info (if enabled/defined) if (defined('PUN_DEBUG')) { + global $pun_start; // Calculate script generation time list($usec, $sec) = explode(' ', microtime()); $time_diff = sprintf('%.3f', ((float)$usec + (float)$sec) - $pun_start); - echo "\t\t\t".'

[ Generated in '.$time_diff.' seconds, '.$pun_db->get_num_queries().' queries executed ]

'."\n"; + echo "\t\t\t".'

[ PunBB time: '.$time_diff.' seconds, '.$pun_db->get_num_queries().' queries executed ]

'."\n"; } ?>