I tried to do:
list($script_start_sec, $script_start_usec, $rest)=gettimeofday();
...page contents...
list($script_end_sec, $script_end_usec, $rest)=gettimeofday();
$script_sec=$script_end_sec-$script_start_sec;
$script_usec=($script_end_usec-$script_start_usec);
echo "Page executed in $script_sec sec $script_usec usec";
But for every page I get:
Page executed in 0 sec 0 usec
Can anyone help? Thanks!