original_string: public function section_title($section, $course) {
          $title = get_section_name($course, $section);
          $url = course_get_url($course, $section->section, array('navigation' => true));
          if ($url) {
              $title = html_writer::link($url, $title);
          }
          return $title;
      }
code: public function section_title($section, $course) {
          $title = get_section_name($course, $section);
          $url = course_get_url($course, $section->section, array('navigation' => true));
          if ($url) {
              $title = html_writer::link($url, $title);
          }
          return $title;
      }
code_tokens: public function section_title ( $ section , $ course ) { $ title = get_section_name ( $ course , $ section ) ; $ url = course_get_url ( $ course , $ section -> section , array ( 'navigation' => true ) ) ; if ( $ url ) { $ title = html_writer :: link ( $ url , $ title ) ; } return $ title ; }
docstring: Generate the section title, wraps it in a link to the section page if page is to be displayed on a separate page
  
  @param stdClass $section The course_section entry from DB
  @param stdClass $course The course entry from DB
  @return string HTML to output.
docstring_tokens: Generate the section title wraps it in a link to the section page if page is to be displayed on a separate page