diff options
| author | Arun Persaud <arun@nubati.net> | 2008-05-10 12:15:35 -0700 |
|---|---|---|
| committer | Arun Persaud <arun@nubati.net> | 2008-05-10 12:35:20 -0700 |
| commit | 880dfb2e715a3770de56fb525f5c90d28a6ccb4c (patch) | |
| tree | a96db91d27a2a6e9202902d11a72462192187fca /include/functions.php | |
| parent | 9239ba22c382383cd258ad3f36b2bc0dc99664b2 (diff) | |
| download | e-DoKo-880dfb2e715a3770de56fb525f5c90d28a6ccb4c.tar.gz e-DoKo-880dfb2e715a3770de56fb525f5c90d28a6ccb4c.tar.bz2 e-DoKo-880dfb2e715a3770de56fb525f5c90d28a6ccb4c.zip | |
NEW FEATURE: new settings page, user can now change timezone
rewrote the settings page, timezone can now be changed, the user menu
shows up on the left on the pref page. Added a link to the pref-page in the left menu.
Signed-off-by: Arun Persaud <arun@nubati.net>
Diffstat (limited to 'include/functions.php')
| -rw-r--r-- | include/functions.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/functions.php b/include/functions.php index e60f69f..382b148 100644 --- a/include/functions.php +++ b/include/functions.php @@ -828,6 +828,8 @@ function display_user_menu() 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 |