original_string: public function col_timefinish($attempt) {
          if ($attempt->attempt && $attempt->timefinish) {
              return userdate($attempt->timefinish, $this->strtimeformat);
          } else {
              return  '-';
          }
      }
code: public function col_timefinish($attempt) {
          if ($attempt->attempt && $attempt->timefinish) {
              return userdate($attempt->timefinish, $this->strtimeformat);
          } else {
              return  '-';
          }
      }
code_tokens: public function col_timefinish ( $ attempt ) { if ( $ attempt -> attempt && $ attempt -> timefinish ) { return userdate ( $ attempt -> timefinish , $ this -> strtimeformat ) ; } else { return '-' ; } }
docstring: Generate the display of the finish time column.
  @param object $attempt the table row being output.
  @return string HTML content to go inside the td.
docstring_tokens: Generate the display of the finish time column .