- microtime: documentation ( source)
<?php
$a = 'ab';$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;