- microtime: documentation ( source)
<?php
$a = 'a';
$start_time = microtime(true);
for($i = 0; $i <= 1000000; $i++){
+$a;
}
echo '<br/>', microtime(true) - $start_time;
$start_time1 = microtime(true);
for($i = 0; $i <= 1000000; $i++){
(int)$a;
}
echo '<br/>', microtime(true) - $start_time1;