inc/page-footer.php

   1 </body><?php
   2   if ( isset($c->scripts) && is_array($c->scripts) ) {
   3     foreach ( $c->scripts AS $script ) {
   4       echo "<script language=\"JavaScript\" src=\"$script\"></script>\n";
   5     }
   6   }
   7   if ( isset($c->dbg['statistics']) && $c->dbg['statistics'] ) {
   8     $script_time = microtime(true) - $c->script_start_time;
   9     @dbg_error_log("statistics", "Method: %s, Status: %d, Script: %5.3lfs, Queries: %5.3lfs, URL: %s",
  10                         $_SERVER['REQUEST_METHOD'], 200, $script_time, $c->total_query_time, $_SERVER['REQUEST_URI']);
  11   }
  12 ?>
  13 </html>