I just tested it for you on my local server and it seems to work fine
Can you please recheck the file
admin\includes\functions\admin_profiles.php as this is the file where the function menu_header_visible() is defined
San