NEW FEATURE: make stastitic page accessable

created a link from the user menu to the stats.php page

diff --git a/functions.php b/functions.php
index 69e208c0e7d1b1deb328d819ff1e15d76a0a9288..1e80c31665c733d1dd6a4dadd3540bc50a29764d 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -823,6 +823,7 @@ function display_user_menu()
 
   echo "<hr /> <a href=\"".$host."?new\">start a new game</a>\n";
 
+  echo "<hr /> <a href=\"".substr($host,0,-9)."stats.php\">Statistics</a>\n";
 
   echo
     "<hr />Report bugs in the <a href=\"". $wiki."\">wiki</a>\n";