I created an empty directory in the plugins folder and got this error accessing the Settings (index.php?module=CorePluginsAdmin):
The plugin 'XXX' is enabled, but the file '/mypath/plugins/XXX/XXX.php' couldn't be found. To continue, please disable the plugin manually by removing the line <pre>Plugins = XXX</pre> in the configuration file <code>config/config.ini.php</code>
Issues: - The HTML tags aren't displayed properly (because < and > converted to < and >, respectively). - There is no "Plugins = XXX" line in config.ini.php.
(In ) fixes #748 - shortened the exception message (more generic)