A deleted plugin should be automatically deleted from the plugin management. #764
Description
Current behavior:
Activated plugin deleted, warning is displayed in the plugin management.
Many thanks to macadoum for the suggestion for improvement.
{{ message }}