- microtime: documentation ( source)
<?php
function is_set(& $v) {
return $v !== null;
}
function void() {
// void something
}
for(
$all = 0,
$start = microtime('float'),
$now = 1,
$last = 2000;
$now <= $last;
$now++) {
}