original_string: public static function prettyPrintMicroTimeInterval($startTime, $endTime) {
  		$seconds = abs($endTime - $startTime);
  		return sprintf('%02d:%02d:%02d', ($seconds / 3600), ($seconds / 60 % 60), $seconds % 60);
  	}
code: public static function prettyPrintMicroTimeInterval($startTime, $endTime) {
  		$seconds = abs($endTime - $startTime);
  		return sprintf('%02d:%02d:%02d', ($seconds / 3600), ($seconds / 60 % 60), $seconds % 60);
  	}
code_tokens: public static function prettyPrintMicroTimeInterval ( $ startTime , $ endTime ) { $ seconds = abs ( $ endTime - $ startTime ) ; return sprintf ( '%02d:%02d:%02d' , ( $ seconds / 3600 ) , ( $ seconds / 60 % 60 ) , $ seconds % 60 ) ; }
docstring: 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
docstring_tokens: Pretty prints an interval specfied by two timestamps