src/StingerSoft/PhpCommons/Formatter/TimeFormatter.php
public static function prettyPrintMicroTimeInterval($startTime, $endTime) {
		$seconds = abs($endTime - $startTime);
		return sprintf('%02d:%02d:%02d', ($seconds / 3600), ($seconds / 60 % 60), $seconds % 60);
	}
public static function prettyPrintMicroTimeInterval($startTime, $endTime) {
		$seconds = abs($endTime - $startTime);
		return sprintf('%02d:%02d:%02d', ($seconds / 3600), ($seconds / 60 % 60), $seconds % 60);
	}
public static function prettyPrintMicroTimeInterval ( $ startTime , $ endTime ) { $ seconds = abs ( $ endTime - $ startTime ) ; return sprintf ( '%02d:%02d:%02d' , ( $ seconds / 3600 ) , ( $ seconds / 60 % 60 ) , $ seconds % 60 ) ; }
Pretty prints an interval specfied by two timestamps

@param float $startTime
Starttime as returned by microtime(true)
@param float $endTime
Endtime as returned by microtime(true)
@param string $locale
Locale used to format the result
Pretty prints an interval specfied by two timestamps