original_string: protected function header($title = null) {
          global $OUTPUT;
  
          // Print the page heading.
          echo $OUTPUT->header();
  
          if ($title === null) {
              $title = get_string('tours', 'tool_usertours');
          }
  
          echo $OUTPUT->heading($title);
      }
code: protected function header($title = null) {
          global $OUTPUT;
  
          // Print the page heading.
          echo $OUTPUT->header();
  
          if ($title === null) {
              $title = get_string('tours', 'tool_usertours');
          }
  
          echo $OUTPUT->heading($title);
      }
code_tokens: protected function header ( $ title = null ) { global $ OUTPUT ; // Print the page heading. echo $ OUTPUT -> header ( ) ; if ( $ title === null ) { $ title = get_string ( 'tours' , 'tool_usertours' ) ; } echo $ OUTPUT -> heading ( $ title ) ; }
docstring: Print out the page header.
  
  @param   string  $title     The title to display.
docstring_tokens: Print out the page header .