- microtime: documentation ( source)
- round: documentation ( source)
<?php
//$a = 1; $time=microtime(true);for($x=0;$x<100000;$x++){ $b = is_null($a);} round(microtime(true)-$time, 5)."\n";
$a = 1; $time=microtime(true);for($x=0;$x<100000;$x++){ $b = ($a === null);} echo round(microtime(true)-$time, 5)."\n";;