Merge branch 'master' of /home/arun/nubati.net/git/e-DoKo

[e-DoKo.git] / include / output.php
diff --git a/include/output.php b/include/output.php

index 135fe130d7e9aba56129a1490dd9d044bf89e367..7f35dd28b42f4c914387814a24abe975ff3ef608 100644 (file)
--- a/include/output.php
+++ b/include/output.php
@@ -394,7 +394,9 @@ function output_header()
    </head>
  <body onload="high_last();">
  <div class="header">
-<h1> Welcome to E-Doko </h1>
+<?php
+  echo '<h1> '._('Welcome to E-Doko').' </h1>';
+?>
  </div>
  <?php
  
@@ -431,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);
@@ -450,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</a>\n";
-      echo " | <a href=\"".$RSS."?uid=".$myid."&amp;token=".$token."\">rss</a>\n";
-      echo " |&nbsp;&nbsp;&nbsp; <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."&amp;token=".$token."\">"._('atom')."</a>\n";
+      echo " |&nbsp;&nbsp;&nbsp; <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;
@@ -516,6 +518,26 @@ function output_select_timezone($name,$timezone="")
    return;
  }
  
+function output_select_language($name,$language="")
+{
+  $LOCALE = array ("English"     => "en",
+                  "Deutsch"     => "de" );
+
+  echo "  <select id=\"$name\" name=\"$name\" size=\"1\">\n";
+
+  foreach($LOCALE as $place=>$locale)
+    {
+      if($language==$locale)
+       echo "   <option value=\"$locale\" selected=\"selected\">$place</option>\n";
+      else
+       echo "   <option value=\"$locale\">$place</option>\n";
+    }
+  echo "  </select>\n";
+
+  return;
+}
+
+
  function output_password_recovery($email,$password)
  {
  ?>
@@ -550,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";