dir_delete(DOKU_PLUGIN.plugin_directory($this->manager->plugin))) { $this->manager->error = sprintf($this->lang['error_delete'],$this->manager->plugin); } else { msg(sprintf($this->lang['deleted'],$this->plugin)); $this->refresh(); } } function html() { parent::html(); ptln('
'.sprintf($this->lang['deleted'],$this->plugin).'
'); } ptln('