Details
-
Improvement
-
Resolution: Fixed
-
Medium
-
4.1.0alpha1
-
None
Description
There are still settings left in $GLOBALS, which cause certain things not to work as you would expect.
Consider an extension which is enabled, that adds a new tab to the administration interface. When you disable it, you will still see the tab. Only after refreshing the page, it'll be gone.