public static function prettyPrintMicroTimeInterval($startTime, $endTime) {
		$seconds = abs($endTime - $startTime);
		return sprintf('%02d:%02d:%02d', ($seconds / 3600), ($seconds / 60 % 60), $seconds % 60);
	}