original_string: public function get_postdate() {
          global $CFG;
  
          $postmodified = $this->post->modified;
          if (!empty($CFG->forum_enabletimedposts) && ($this->discussion->timestart > $postmodified)) {
              $postmodified = $this->discussion->timestart;
          }
  
          return userdate($postmodified, "", \core_date::get_user_timezone($this->get_postto()));
      }
code: public function get_postdate() {
          global $CFG;
  
          $postmodified = $this->post->modified;
          if (!empty($CFG->forum_enabletimedposts) && ($this->discussion->timestart > $postmodified)) {
              $postmodified = $this->discussion->timestart;
          }
  
          return userdate($postmodified, "", \core_date::get_user_timezone($this->get_postto()));
      }
code_tokens: public function get_postdate ( ) { global $ CFG ; $ postmodified = $ this -> post -> modified ; if ( ! empty ( $ CFG -> forum_enabletimedposts ) && ( $ this -> discussion -> timestart > $ postmodified ) ) { $ postmodified = $ this -> discussion -> timestart ; } return userdate ( $ postmodified , "" , \ core_date :: get_user_timezone ( $ this -> get_postto ( ) ) ) ; }
docstring: The date of the post, formatted according to the postto user's
  preferences.
  
  @return string.
docstring_tokens: The date of the post formatted according to the postto user s preferences .