Hey Steffen,
obviously a no-brainer, but does this fix the problem that menu is not
refreshed in the new backend? or does it refresh the BE already when
installing a new ext?
Otherwise I'd do a
if (top.menu...) {
... OLD BE MENU REFRESH
} else {
... REFRESH WHOLE NEW BACKEND
}
benni.