diff --git a/common.inc.php b/common.inc.php index 10c462d..b5676b7 100644 --- a/common.inc.php +++ b/common.inc.php @@ -431,22 +431,22 @@ if(isset($_SESSION['users_type'])) { echo i18n($types[$_SESSION['users_type']]); } echo " {$_SESSION['email']}: "; - echo "[Logout]"; + echo "[".i18n("Logout")."]"; } else if(isset($_SESSION['email'])) { /* Backwards compatible login settings */ /* Check for committee */ if(isset($_SESSION['committee_member_id'])) { echo i18n('Committee Member'); echo " {$_SESSION['email']}: "; - echo "[Logout]"; + echo "[".i18n("Logout")."]"; } else if(isset($_SESSION['judges_id'])) { echo i18n('Judge'); echo " {$_SESSION['email']}: "; - echo "[Logout]"; + echo "[".i18n("Logout")."]"; } else if(isset($_SESSION['registration_id'])) { echo i18n('Participant'); echo " {$_SESSION['email']}: "; - echo "[Logout]"; + echo "[".i18n("Logout")."]"; } else { echo " "; }