- microtime: documentation ( source)
<?php
$start = microtime(true);
$a = 0;
while(true) {
$a++;
if($a > 100) {
break;
}
}
$mid = microtime(true);
$a = 0;
start:
$a++;
if($a > 100) {
goto end;
} else {
goto start;
}
end:
$end = microtime(true);
echo "retry " . ($mid-$start) . " retry2 " . ($end-$mid) . "\n";