original_string: public function col_time($event) {
  
          if (empty($this->download)) {
              $dateformat = get_string('strftimedatetime', 'core_langconfig');
          } else {
              $dateformat = get_string('strftimedatetimeshort', 'core_langconfig');
          }
          return userdate($event->timecreated, $dateformat);
      }
code: public function col_time($event) {
  
          if (empty($this->download)) {
              $dateformat = get_string('strftimedatetime', 'core_langconfig');
          } else {
              $dateformat = get_string('strftimedatetimeshort', 'core_langconfig');
          }
          return userdate($event->timecreated, $dateformat);
      }
code_tokens: public function col_time ( $ event ) { if ( empty ( $ this -> download ) ) { $ dateformat = get_string ( 'strftimedatetime' , 'core_langconfig' ) ; } else { $ dateformat = get_string ( 'strftimedatetimeshort' , 'core_langconfig' ) ; } return userdate ( $ event -> timecreated , $ dateformat ) ; }
docstring: Generate the time column.
  
  @param stdClass $event event data.
  @return string HTML for the time column
docstring_tokens: Generate the time column .