original_string: public function plugin_uninstall_results_page(core_plugin_manager $pluginman, \core\plugininfo\base $pluginfo, progress_trace_buffer $progress) {
          $output = '';
  
          $pluginname = $pluginfo->component;
  
          $output .= $this->output->header();
          $output .= $this->output->heading(get_string('uninstalling', 'core_plugin', array('name' => $pluginname)));
  
          $output .= $this->output->box($progress->get_buffer(), 'generalbox uninstallresultmessage');
  
          $output .= $this->output->box(get_string('uninstalldelete', 'core_plugin',
              array('name' => $pluginname, 'rootdir' => $pluginfo->rootdir)), 'generalbox uninstalldelete');
          $output .= $this->output->continue_button(new moodle_url('/admin/index.php'));
          $output .= $this->output->footer();
  
          return $output;
      }
code: public function plugin_uninstall_results_page(core_plugin_manager $pluginman, \core\plugininfo\base $pluginfo, progress_trace_buffer $progress) {
          $output = '';
  
          $pluginname = $pluginfo->component;
  
          $output .= $this->output->header();
          $output .= $this->output->heading(get_string('uninstalling', 'core_plugin', array('name' => $pluginname)));
  
          $output .= $this->output->box($progress->get_buffer(), 'generalbox uninstallresultmessage');
  
          $output .= $this->output->box(get_string('uninstalldelete', 'core_plugin',
              array('name' => $pluginname, 'rootdir' => $pluginfo->rootdir)), 'generalbox uninstalldelete');
          $output .= $this->output->continue_button(new moodle_url('/admin/index.php'));
          $output .= $this->output->footer();
  
          return $output;
      }
code_tokens: public function plugin_uninstall_results_page ( core_plugin_manager $ pluginman , \ core \ plugininfo \ base $ pluginfo , progress_trace_buffer $ progress ) { $ output = '' ; $ pluginname = $ pluginfo -> component ; $ output .= $ this -> output -> header ( ) ; $ output .= $ this -> output -> heading ( get_string ( 'uninstalling' , 'core_plugin' , array ( 'name' => $ pluginname ) ) ) ; $ output .= $ this -> output -> box ( $ progress -> get_buffer ( ) , 'generalbox uninstallresultmessage' ) ; $ output .= $ this -> output -> box ( get_string ( 'uninstalldelete' , 'core_plugin' , array ( 'name' => $ pluginname , 'rootdir' => $ pluginfo -> rootdir ) ) , 'generalbox uninstalldelete' ) ; $ output .= $ this -> output -> continue_button ( new moodle_url ( '/admin/index.php' ) ) ; $ output .= $ this -> output -> footer ( ) ; return $ output ; }
docstring: Display a page with results of plugin uninstallation and inform about the need to remove plugin files manually.
  
  @param core_plugin_manager $pluginman
  @param \core\plugininfo\base $pluginfo
  @param progress_trace_buffer $progress
  @return string
docstring_tokens: Display a page with results of plugin uninstallation and inform about the need to remove plugin files manually .