diff options
| author | Arun Persaud <arun@nubati.net> | 2010-03-14 16:03:19 -0700 |
|---|---|---|
| committer | Arun Persaud <arun@nubati.net> | 2010-03-14 16:03:19 -0700 |
| commit | 66ddaaf798a7ac2ed368ac19d9f64db3d957f20d (patch) | |
| tree | 8366fd42adaf94acdb7d99dbcfe5365925e6e585 /include/output.php | |
| parent | 69d701b97474977c4c48367ca6ecfedfb2db0217 (diff) | |
| download | e-DoKo-66ddaaf798a7ac2ed368ac19d9f64db3d957f20d.tar.gz e-DoKo-66ddaaf798a7ac2ed368ac19d9f64db3d957f20d.tar.bz2 e-DoKo-66ddaaf798a7ac2ed368ac19d9f64db3d957f20d.zip | |
marked more strings for translation
Diffstat (limited to 'include/output.php')
| -rw-r--r-- | include/output.php | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/include/output.php b/include/output.php index 0f326f5..7f35dd2 100644 --- a/include/output.php +++ b/include/output.php @@ -433,12 +433,12 @@ function output_status() { global $defaulttimezone, $INDEX, $WIKI, $RSS; - if(isset($_SESSION["name"])) + if(isset($_SESSION['name'])) { - $name = $_SESSION["name"]; + $name = $_SESSION['name']; /* last logon time */ - $myid = DB_get_userid("name",$name); + $myid = DB_get_userid('name',$name); $zone = DB_get_user_timezone($myid); $time = DB_get_user_timestamp($myid); @@ -452,21 +452,21 @@ function output_status() /* logout info */ echo "\n<div class=\"status\">\n"; echo $name,"\n"; - echo " | <a href=\"".$INDEX."\"> mypage </a>\n"; - echo " | <a href=\"".$INDEX."?action=prefs\">settings</a>\n"; - echo " | <a href=\"".$INDEX."?action=new\">new game</a>\n"; - echo " | <a href=\"".$INDEX."?action=stats\">statistics</a>\n"; - echo " | <a href=\"".$WIKI."\">wiki/bugs</a>\n"; - echo " | <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">rss</a>\n"; - echo " | <a href=\"".$INDEX."?action=logout\">logout</a>\n"; + echo " | <a href=\"".$INDEX."\">"._('mypage')."</a>\n"; + echo " | <a href=\"".$INDEX."?action=prefs\">"._('settings')."</a>\n"; + echo " | <a href=\"".$INDEX."?action=new\">"._('new game')."</a>\n"; + echo " | <a href=\"".$INDEX."?action=stats\">"._('statistics')."</a>\n"; + echo " | <a href=\"".$WIKI."\">"._('wiki/bugs')."</a>\n"; + echo " | <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">"._('atom')."</a>\n"; + echo " | <a href=\"".$INDEX."?action=logout\">"._('logout')."</a>\n"; echo "</div>\n"; - echo "<div class=\"lastlogin\"><span>last login: ".date("r",$unixtime)."</span></div>\n"; + echo "<div class=\"lastlogin\"><span>"._('last login').": ".date("r",$unixtime)."</span></div>\n"; } else { echo "\n<div class=\"status\">\n"; - echo "<a href=\"".$INDEX."\">login</a>\n"; + echo "<a href=\"".$INDEX."\">"._('login')."</a>\n"; echo "</div>\n"; } return; @@ -572,7 +572,7 @@ function output_password_recovery($email,$password) function output_user_notes($userid,$gameid,$userstatus) { - echo "<div class=\"notes\"> Personal notes: <br />\n"; + echo "<div class=\"notes\"> "._('Personal notes').": <br />\n"; $notes = DB_get_notes_by_userid_and_gameid($userid,$gameid); foreach($notes as $note) echo "$note <hr />\n"; |