From 5956a157545ba393e356b906887b8db290885d89 Mon Sep 17 00:00:00 2001 From: james Date: Fri, 9 Jul 2010 20:35:05 +0000 Subject: [PATCH] Final UI changes for the day.... --- common.inc.php | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/common.inc.php b/common.inc.php index 45996983..0db97eb0 100644 --- a/common.inc.php +++ b/common.inc.php @@ -529,9 +529,9 @@ if(isset($_SESSION['users_type'])) { 'student'=>'Participant','committee'=>'Committee Member', 'fair'=>'Science Fair'); if($_SESSION['users_type'] != false) { - echo i18n($types[$_SESSION['users_type']]); + echo i18n($types[$_SESSION['users_type']])."
"; } - echo " {$_SESSION['email']}: "; + echo " {$_SESSION['email']}
"; if($_SESSION['multirole'] == true) { echo "[".i18n('Switch Roles')."] "; } @@ -591,6 +591,7 @@ if(is_array($nav)) { ?> '; ?> -
-