An exception when something is wrong within the extension manager
Definition at line 20 of file ExtensionManagerException.php.