Extension Manager: removed obsolete code
Extension Manager: make installation work againThe Installer class now also handles dependencies