diff options
author | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-02 14:55:24 +0200 |
---|---|---|
committer | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-02 14:55:24 +0200 |
commit | 7e8500eea1e53b1de0e0f70400664afa442cd08d (patch) | |
tree | 4dd246a9b26f930fc7cbfef76116320dcbe77aaf /lib/plugins/extension/admin.php | |
parent | e3710957c6b7e12293805a15d0624be7c7054092 (diff) | |
download | rpg-7e8500eea1e53b1de0e0f70400664afa442cd08d.tar.gz rpg-7e8500eea1e53b1de0e0f70400664afa442cd08d.tar.bz2 |
PHPDocs and some improvements
Diffstat (limited to 'lib/plugins/extension/admin.php')
-rw-r--r-- | lib/plugins/extension/admin.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/plugins/extension/admin.php b/lib/plugins/extension/admin.php index 99c74848b..de4992937 100644 --- a/lib/plugins/extension/admin.php +++ b/lib/plugins/extension/admin.php @@ -75,10 +75,10 @@ class admin_plugin_extension extends DokuWiki_Admin_Plugin { case 'uninstall': $extension->setExtension($extname); $status = $extension->uninstall(); - if($status !== true) { - msg($status, -1); - } else { + if($status) { msg(sprintf($this->getLang('msg_delete_success'), hsc($extension->getDisplayName())), 1); + } else { + msg(sprintf($this->getLang('msg_delete_failed'), hsc($extension->getDisplayName())), -1); } break; case 'enable'; |