original_string: public function has_course_contacts() {
          if (!isset($this->record->managers)) {
              $courses = array($this->id => &$this->record);
              core_course_category::preload_course_contacts($courses);
          }
          return !empty($this->record->managers);
      }
code: public function has_course_contacts() {
          if (!isset($this->record->managers)) {
              $courses = array($this->id => &$this->record);
              core_course_category::preload_course_contacts($courses);
          }
          return !empty($this->record->managers);
      }
code_tokens: public function has_course_contacts ( ) { if ( ! isset ( $ this -> record -> managers ) ) { $ courses = array ( $ this -> id => & $ this -> record ) ; core_course_category :: preload_course_contacts ( $ courses ) ; } return ! empty ( $ this -> record -> managers ) ; }
docstring: Indicates if the course have course contacts to display
  
  @return bool
docstring_tokens: Indicates if the course have course contacts to display