original_string: private function view_header() {
          global $OUTPUT;
          admin_externalpage_setup('manage' . $this->subtype . 'plugins');
          // Print the page heading.
          echo $OUTPUT->header();
          echo $OUTPUT->heading(get_string('manage' . $this->subtype . 'plugins', 'assign'));
      }
code: private function view_header() {
          global $OUTPUT;
          admin_externalpage_setup('manage' . $this->subtype . 'plugins');
          // Print the page heading.
          echo $OUTPUT->header();
          echo $OUTPUT->heading(get_string('manage' . $this->subtype . 'plugins', 'assign'));
      }
code_tokens: private function view_header ( ) { global $ OUTPUT ; admin_externalpage_setup ( 'manage' . $ this -> subtype . 'plugins' ) ; // Print the page heading. echo $ OUTPUT -> header ( ) ; echo $ OUTPUT -> heading ( get_string ( 'manage' . $ this -> subtype . 'plugins' , 'assign' ) ) ; }
docstring: Write the page header
  
  @return None
docstring_tokens: Write the page header