inc/page-footer.php

   1 <?php
   2
   3 $i_took = duration( $c->started, microtime() );   // calculate time taken for whole page generation
   4
   5 printf ('<p id="bottom_filler"><br clear="both">&nbsp;</p><div id="pagefooter"><p>Logged in as %s (%s),  Page generation took: %2.03lf, Queries took: %2.03lf</p></div>',
   6               $session->fullname, $session->username, $i_took, $c->total_query_time);
   7
   8 echo <<<EOFTR
   9 <script><!--
  10 window.defaultStatus = '$session->fullname';
  11 --></script>
  12 </body>
  13 </html>
  14 EOFTR;
  15