equal
deleted
inserted
replaced
110 <?php |
110 <?php |
111 |
111 |
112 // Display debug info (if enabled/defined) |
112 // Display debug info (if enabled/defined) |
113 if (defined('PUN_DEBUG')) |
113 if (defined('PUN_DEBUG')) |
114 { |
114 { |
|
115 global $pun_start; |
115 // Calculate script generation time |
116 // Calculate script generation time |
116 list($usec, $sec) = explode(' ', microtime()); |
117 list($usec, $sec) = explode(' ', microtime()); |
117 $time_diff = sprintf('%.3f', ((float)$usec + (float)$sec) - $pun_start); |
118 $time_diff = sprintf('%.3f', ((float)$usec + (float)$sec) - $pun_start); |
118 echo "\t\t\t".'<p class="conr">[ Generated in '.$time_diff.' seconds, '.$pun_db->get_num_queries().' queries executed ]</p>'."\n"; |
119 echo "\t\t\t".'<p class="conr">[ PunBB time: '.$time_diff.' seconds, '.$pun_db->get_num_queries().' queries executed ]</p>'."\n"; |
119 } |
120 } |
120 |
121 |
121 ?> |
122 ?> |
122 <div class="clearer"></div> |
123 <div class="clearer"></div> |
123 </div> |
124 </div> |