PHP - Exec time calculation
<?
// start{
// exec time
$start_time = (float) array_sum(explode(' ', microtime()));
// }
// config file {
// developer mode on/off
define('DEV_MODE', true);
// }
// end{
// exec time
$end_time = round((float) array_sum(explode(' ', microtime())) - $start_time, 4);
if(DEV_MODE){
echo "Exec time: ". $end_time * 1000 ."ms";
}
// }
?>