diff --git a/themes/default/template.php b/themes/default/template.php index 752eebc13e..ccc35f2524 100644 --- a/themes/default/template.php +++ b/themes/default/template.php @@ -604,8 +604,8 @@ //menu brand image and/or text if ($_SESSION['theme']['menu_brand_type']['text'] == 'none') { echo "
\n"; } else { @@ -666,8 +666,8 @@ //menu toggle buttons if ($_SESSION['theme']['menu_brand_type']['text'] != 'none') { echo "\n"; } //header: right @@ -675,7 +675,7 @@ //current user echo "\n"; echo "".$text['theme-label-user'].": "; - echo "".(count($_SESSION['domains']) > 1 && permission_exists('domain_select') ? $_SESSION['username'].'@'.$_SESSION["user_context"] : $_SESSION['username']).""; + echo "".$_SESSION['username'].""; echo "\n"; //domain name/selector (sm+) if ($_SESSION["username"] != '' && permission_exists("domain_select") && count($_SESSION['domains']) > 1 && $_SESSION['theme']['domain_visible']['text'] == 'true') {