- microtime: documentation ( source)
<?php
$time = microtime ();
for($i = 0;$i < 10000; $i++) {
$val1 = (1 == "1");
}
echo microtime () - $time;
echo "\n";
$time = microtime ();
for($j = 0;$j < 10000; $j++) {
$val2 = (1 === "1");
}
echo microtime () - $time;