My courses tab not highlighted
banner.lib.php dictates (on lines 463 and following) that, if $GLOBALS['this_section'] is set, then if it is the same as the current section element in the menu, it should be added a CSS class "active".
user_portal.php (line 79) sets $this_section to SECTION_COURSES, which should have the consequence to make the "My courses" tab highlight on screen (have the "active" class).
However, no active class is added.
When loading user_portal.php, banner.lib.php reports that $GLOBALS['this_section'] is equal to "global", which is the value of SECTION_GLOBAL, which is only set in global.inc.php (line 383).
I checked quickly but I don't understand why the value set by user_portal.php for $this_section is not kept...