Schnipsel

$startTime = microtime(true);
/*
	Hier der Code zum Benchmarken
*/
$stopTime = microtime(true);
$diffTime = $stopTime - $startTime;