diff options
| -rw-r--r-- | include/functions.php | 20 | ||||
| -rw-r--r-- | include/output.php | 13 |
2 files changed, 18 insertions, 15 deletions
diff --git a/include/functions.php b/include/functions.php index 5267bfb..31fc286 100644 --- a/include/functions.php +++ b/include/functions.php @@ -847,8 +847,7 @@ function display_table () function display_user_menu() { global $WIKI,$myid,$INDEX; - echo "<div class=\"usermenu\">\n". - "<a href=\"".$INDEX."\"> Go to my user page </a>"; + echo "<div class=\"usermenu\">\n"; $result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand". " LEFT JOIN Game On Hand.game_id=Game.id". @@ -857,21 +856,20 @@ function display_user_menu() " AND Game.status<>'gameover'". " ORDER BY Game.session" ); if(DB_num_rows($result)) - echo "<hr />It's your turn in these games:<br />\n"; + echo "It's your turn in these games:<br />\n"; + $i=0; while( $r = DB_fetch_array($result)) { + $i++; echo "<a href=\"".$INDEX."?action=game&me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n"; + if($i>4) + { + echo "...<br />\n"; + break; + } } - echo "<hr /> <a href=\"".$INDEX."?action=new\">Start a new game</a>\n"; - - echo "<hr /> <a href=\"".$INDEX."?action=prefs\">Change settings</a>\n"; - - echo "<hr /> <a href=\"".$INDEX."?action=stats\">Statistics</a>\n"; - - echo - "<hr />Report bugs in the <a href=\"".$WIKI."\">wiki</a>\n"; echo "</div>\n"; return; } diff --git a/include/output.php b/include/output.php index 33fb87b..62ab264 100644 --- a/include/output.php +++ b/include/output.php @@ -291,15 +291,20 @@ function output_footer() function output_status() { - global $defaulttimezone; + global $defaulttimezone,$INDEX,$WIKI; if(isset($_SESSION["name"])) { $name = $_SESSION["name"]; /* logout info */ - echo "\n<div class=\"status\">"; - echo $name; - echo " <a href=\"index.php?action=logout\">logout</a>"; + 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=\"".$INDEX."?action=logout\">logout</a>\n"; echo "</div>\n"; /* last logon time */ |