original_string: public function print_header($headingstr, $summary=true) {
          global $OUTPUT, $PAGE;
          $titlestr = get_string('exporting', 'portfolio');
          $headerstr = get_string('exporting', 'portfolio');
  
          $PAGE->set_title($titlestr);
          $PAGE->set_heading($headerstr);
          echo $OUTPUT->header();
          echo $OUTPUT->heading($headingstr);
  
          if (!$summary) {
              return;
          }
  
          echo $OUTPUT->box_start();
          echo $OUTPUT->box_start();
          echo $this->caller->heading_summary();
          echo $OUTPUT->box_end();
          if ($this->instance) {
              echo $OUTPUT->box_start();
              echo $this->instance->heading_summary();
              echo $OUTPUT->box_end();
          }
          echo $OUTPUT->box_end();
      }
code: public function print_header($headingstr, $summary=true) {
          global $OUTPUT, $PAGE;
          $titlestr = get_string('exporting', 'portfolio');
          $headerstr = get_string('exporting', 'portfolio');
  
          $PAGE->set_title($titlestr);
          $PAGE->set_heading($headerstr);
          echo $OUTPUT->header();
          echo $OUTPUT->heading($headingstr);
  
          if (!$summary) {
              return;
          }
  
          echo $OUTPUT->box_start();
          echo $OUTPUT->box_start();
          echo $this->caller->heading_summary();
          echo $OUTPUT->box_end();
          if ($this->instance) {
              echo $OUTPUT->box_start();
              echo $this->instance->heading_summary();
              echo $OUTPUT->box_end();
          }
          echo $OUTPUT->box_end();
      }
code_tokens: public function print_header ( $ headingstr , $ summary = true ) { global $ OUTPUT , $ PAGE ; $ titlestr = get_string ( 'exporting' , 'portfolio' ) ; $ headerstr = get_string ( 'exporting' , 'portfolio' ) ; $ PAGE -> set_title ( $ titlestr ) ; $ PAGE -> set_heading ( $ headerstr ) ; echo $ OUTPUT -> header ( ) ; echo $ OUTPUT -> heading ( $ headingstr ) ; if ( ! $ summary ) { return ; } echo $ OUTPUT -> box_start ( ) ; echo $ OUTPUT -> box_start ( ) ; echo $ this -> caller -> heading_summary ( ) ; echo $ OUTPUT -> box_end ( ) ; if ( $ this -> instance ) { echo $ OUTPUT -> box_start ( ) ; echo $ this -> instance -> heading_summary ( ) ; echo $ OUTPUT -> box_end ( ) ; } echo $ OUTPUT -> box_end ( ) ; }
docstring: Local print header function to be reused across the export
  
  @param string $headingstr full language string
  @param bool $summary (optional) to print summary, default is set to true
  @return void
docstring_tokens: Local print header function to be reused across the export