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

'); ptln('

'.$this->lang['deleting'].'

'); if ($this->manager->error) { ptln('

'.str_replace("\n","
",$this->manager->error).'

'); } else { ptln('

'.sprintf($this->lang['deleted'],$this->plugin).'

'); } ptln('

'); } }