public function renderProgressMark($result) { if ($result === 'timed out') { return 'T'; } elseif ($result) { return 'E'; } else { return '.'; } }