- microtime: documentation ( source)
- number_format: documentation ( source)
<?php
$n = 1000000;
// Create test array
$i = 0;
$array = array();
while($i < $n) {
$array[$i++] = true;
}
$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 full array \n";