timing_now());*/ } function timing_end ($id) { /*global $timings; $timings[$id]["end"] = timing_now();*/ } function timing_print_results () { /*global $timings; echo "

"; echo "

Timings

"; echo ""; echo ""; foreach ($timings as $id => $timing) { printf ("", $id, $timing["end"]-$timing["begin"]); } echo "

Id	Time
%s	%.6f

"; echo "

";*/ } ?>