- 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";