diff options
author | Arun Persaud <arun@nubati.net> | 2008-05-24 14:46:39 -0700 |
---|---|---|
committer | Arun Persaud <arun@nubati.net> | 2008-05-24 14:46:39 -0700 |
commit | 8141a807cda3a5387e3288e4d644cde94b9ab8fd (patch) | |
tree | 1228d536ae75379d65b09b782d6f4150c6bc270c /include/output.php | |
parent | 95b72fab501b778555252b005ea8618a3305ad4c (diff) | |
download | e-DoKo-8141a807cda3a5387e3288e4d644cde94b9ab8fd.tar.gz e-DoKo-8141a807cda3a5387e3288e4d644cde94b9ab8fd.tar.bz2 e-DoKo-8141a807cda3a5387e3288e4d644cde94b9ab8fd.zip |
LAYOUT: rearranged the user menu to show up in the top right corner
also limited the amount of games that show up in the user menu if it is your turn
Signed-off-by: Arun Persaud <arun@nubati.net>
Diffstat (limited to 'include/output.php')
-rw-r--r-- | include/output.php | 13 |
1 files changed, 9 insertions, 4 deletions
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 */ |