classes/phing/listener/DefaultLogger.php
public static function formatTime($micros)
    {
        $seconds = $micros;
        $minutes = (int) floor($seconds / 60);
        if ($minutes >= 1) {
            return sprintf(
                "%1.0f minute%s %0.2f second%s",
                $minutes,
                ($minutes === 1 ? " " : "s "),
                $seconds - floor($seconds / 60) * 60,
                ($seconds % 60 === 1 ? "" : "s")
            );
        } else {
            return sprintf("%0.4f second%s", $seconds, ($seconds % 60 === 1 ? "" : "s"));
        }
    }
public static function formatTime($micros)
    {
        $seconds = $micros;
        $minutes = (int) floor($seconds / 60);
        if ($minutes >= 1) {
            return sprintf(
                "%1.0f minute%s %0.2f second%s",
                $minutes,
                ($minutes === 1 ? " " : "s "),
                $seconds - floor($seconds / 60) * 60,
                ($seconds % 60 === 1 ? "" : "s")
            );
        } else {
            return sprintf("%0.4f second%s", $seconds, ($seconds % 60 === 1 ? "" : "s"));
        }
    }
public static function formatTime ( $ micros ) { $ seconds = $ micros ; $ minutes = ( int ) floor ( $ seconds / 60 ) ; if ( $ minutes >= 1 ) { return sprintf ( "%1.0f minute%s %0.2f second%s" , $ minutes , ( $ minutes === 1 ? " " : "s " ) , $ seconds - floor ( $ seconds / 60 ) * 60 , ( $ seconds % 60 === 1 ? "" : "s" ) ) ; } else { return sprintf ( "%0.4f second%s" , $ seconds , ( $ seconds % 60 === 1 ? "" : "s" ) ) ; } }
Formats a time micro integer to human readable format.

@param  integer The time stamp
@return string
Formats a time micro integer to human readable format .