varemenos
3/11/2012 - 3:30 AM

PHP - Exec time calculation

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";
		}
	// }
?>