- 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";;