2 if ( isset($c->scripts
) && is_array($c->scripts
) ) {
3 foreach ( $c->scripts
AS $script ) {
4 echo "<script language=\"JavaScript\" src=\"$script\"></script>\n";
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']);