NEW FEATURE: new settings page, user can now change timezone

[e-DoKo.git] / include / functions.php

diff --git a/include/functions.php b/include/functions.php
index e60f69f11d9f79a48e2e8976859f1f87f25db535..382b1488f20512864a68e6091c3e5f3b913e2d2d 100644 (file)
--- 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