Esempio n. 1
0
 /**
  * Display a page with results of plugin uninstallation and inform about the need to remove plugin files manually.
  *
  * @param plugin_manager $pluginman
  * @param plugin_info $pluginfo
  * @param progress_trace_buffer $progress
  * @return string
  */
 public function plugin_uninstall_results_page(plugin_manager $pluginman, plugininfo_base $pluginfo, progress_trace_buffer $progress)
 {
     $output = '';
     $pluginname = $pluginman->plugin_name($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($this->page->url);
     $output .= $this->output->footer();
     return $output;
 }