original_string: function print_header() {
          global $OUTPUT, $PAGE, $CFG, $USER, $SESSION;
  
          $PAGE->set_heading($PAGE->course->fullname);
  
          $this->set_url();
  
          if (isset($SESSION->wikipreviousurl) && is_array($SESSION->wikipreviousurl)) {
              $this->process_session_url();
          }
          $this->set_session_url();
  
          $this->create_navbar();
          $this->setup_tabs();
  
          echo $OUTPUT->header();
          $wiki = $PAGE->activityrecord;
          echo $OUTPUT->heading(format_string($wiki->name));
  
          echo $this->wikioutput->wiki_info();
  
          // tabs are associated with pageid, so if page is empty, tabs should be disabled
          if (!empty($this->page) && !empty($this->tabs)) {
              echo $this->wikioutput->tabs($this->page, $this->tabs, $this->tabs_options);
          }
      }
code: function print_header() {
          global $OUTPUT, $PAGE, $CFG, $USER, $SESSION;
  
          $PAGE->set_heading($PAGE->course->fullname);
  
          $this->set_url();
  
          if (isset($SESSION->wikipreviousurl) && is_array($SESSION->wikipreviousurl)) {
              $this->process_session_url();
          }
          $this->set_session_url();
  
          $this->create_navbar();
          $this->setup_tabs();
  
          echo $OUTPUT->header();
          $wiki = $PAGE->activityrecord;
          echo $OUTPUT->heading(format_string($wiki->name));
  
          echo $this->wikioutput->wiki_info();
  
          // tabs are associated with pageid, so if page is empty, tabs should be disabled
          if (!empty($this->page) && !empty($this->tabs)) {
              echo $this->wikioutput->tabs($this->page, $this->tabs, $this->tabs_options);
          }
      }
code_tokens: function print_header ( ) { global $ OUTPUT , $ PAGE , $ CFG , $ USER , $ SESSION ; $ PAGE -> set_heading ( $ PAGE -> course -> fullname ) ; $ this -> set_url ( ) ; if ( isset ( $ SESSION -> wikipreviousurl ) && is_array ( $ SESSION -> wikipreviousurl ) ) { $ this -> process_session_url ( ) ; } $ this -> set_session_url ( ) ; $ this -> create_navbar ( ) ; $ this -> setup_tabs ( ) ; echo $ OUTPUT -> header ( ) ; $ wiki = $ PAGE -> activityrecord ; echo $ OUTPUT -> heading ( format_string ( $ wiki -> name ) ) ; echo $ this -> wikioutput -> wiki_info ( ) ; // tabs are associated with pageid, so if page is empty, tabs should be disabled if ( ! empty ( $ this -> page ) && ! empty ( $ this -> tabs ) ) { echo $ this -> wikioutput -> tabs ( $ this -> page , $ this -> tabs , $ this -> tabs_options ) ; } }
docstring: This method prints the top of the page.
docstring_tokens: This method prints the top of the page .