- microtime: documentation ( source)
- number_format: documentation ( source)
<?php
$n = 1000000;
// First a test with a empty array
$array = array();
$time_start = microtime(true);
$i = 0;
while($i < $n) {
$devnull = isset($array[++$i]);
}
$time_end = microtime(true);
$time_while1= $time_end-$time_start;
echo number_format($time_while1, 3, '.', '')
." seconds - isset(array[i]) on empty array \n";