- microtime: documentation ( source)
<?php
$null = null;
$time = microtime(true);
for ($i = 0; $i < 10000000; $i++) {
$test = is_null($null);
}
$time1 = microtime(true);
for ($i = 0; $i < 10000000; $i++) {
$test = null === $null;
}
$time2 = microtime(true);
echo 'is_null: '.($time1 - $time)."\n===: ".($time2 - $time1);