We had Dash installed, but it didn't work for what we needed. I removed the Dash Local plugin (along with the Dash and Deft components), but my Plugins Overview is still showing a lot of Dashaddons. The problem is that there is no way to remove them. We manage our multi-node Moodle site through git repos so the files are gone. But the database still sees the addons and does not give me an Uninstall button. How do I get rid of these from the database? I see records in config_plugins, but are they represented in another table too?
We had Dash installed, but it didn't work for what we needed. I removed the Dash Local plugin (along with the Dash and Deft components), but my Plugins Overview is still showing a lot of Dashaddons. The problem is that there is no way to remove them. We manage our multi-node Moodle site through git repos so the files are gone. But the database still sees the addons and does not give me an Uninstall button. How do I get rid of these from the database? I see records in config_plugins, but are they represented in another table too?