Name	Size	Mode	Actions
ConfigureIO.php	1006	0644	editdlrm
Printer.php	6609	0644	editdlrm
State.php	4532	0644	editdlrm
Style.php	7825	0644	editdlrm
TestResult.php	4547	0644	editdlrm
Timer.php	612	0644	editdlrm

start = $start; } /** * Starts the timer. */ public static function start(): Timer { return new self(microtime(true)); } /** * Returns the elapsed time in microseconds. */ public function result(): float { return microtime(true) - $this->start; } }