original_string: public function render_activity_navigation(\core_course\output\activity_navigation $page) {
          $data = $page->export_for_template($this->output);
          return $this->output->render_from_template('core_course/activity_navigation', $data);
      }
code: public function render_activity_navigation(\core_course\output\activity_navigation $page) {
          $data = $page->export_for_template($this->output);
          return $this->output->render_from_template('core_course/activity_navigation', $data);
      }
code_tokens: public function render_activity_navigation ( \ core_course \ output \ activity_navigation $ page ) { $ data = $ page -> export_for_template ( $ this -> output ) ; return $ this -> output -> render_from_template ( 'core_course/activity_navigation' , $ data ) ; }
docstring: Renders the activity navigation.
  
  Defer to template.
  
  @param \core_course\output\activity_navigation $page
  @return string html for the page
docstring_tokens: Renders the activity navigation .