Hi everybody,
I upgraded our installation from version 8.4.5 to version 9.11.7. Everything went fine except for one annyoing detail: I couldn’t install new extensions because the extension manager was missing. I repeated the upgrade severall times with no other result.
Wolfgang