phpdevshell team mailing list archive

[jsherk <673314@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

Create a new plugin directory and install the plugin and have it create
a menu item automatically from the config file.

Now delete the plugin directory without uninstalling it, and the menu
items remain (although they do not function). Also, you will still find
an entry for the plugin in the _core_plugin_activation table in the db.

** Affects: phpdevshell
     Importance: Undecided
         Status: New

-- 
Delete plugin directory does not remove menu items
https://bugs.launchpad.net/bugs/673314
You received this bug notification because you are a member of
PHPDevShell, which is subscribed to PHPDevShell.

Status in Open Source php gui type development framework.: New

Bug description:
Create a new plugin directory and install the plugin and have it create a menu item automatically from the config file.

Now delete the plugin directory without uninstalling it, and the menu items remain (although they do not function). Also, you will still find an entry for the plugin in the _core_plugin_activation table in the db.