Micro-benchmark timing with PHP

timing.php

<?php

	function startTiming(){
		$GLOBALS['start'] = microtime(true);
	}
	
	function stopTiming(){
		$duration = (microtime(true) - $GLOBALS['start']);
		return $duration;
	}
	
	function initLapTiming()
	{
		$GLOBALS['timings'] = "\r\n ----- NEW SESSION ----- \r\n" . date('c') . "\r\n";
		startTiming();
	}
	
	function lapTiming($label)
	{
		$GLOBALS['timings'] .= "\r\n$label : " . stopTiming();
		startTiming();
	}
	
	function logLaps()
	{
		file_put_contents('log.txt', $GLOBALS['timings'], FILE_APPEND);
	}