added link to bug-tracker (that is renamed wiki -> wiki/bugs)

diff --git a/include/output.php b/include/output.php
index 79e42c276f130c879ee10f06deb9af6392b40b09..0f326f5a0432aadeea987f2ae6ff08bab6dd753b 100644 (file)
--- a/include/output.php
+++ b/include/output.php
@@ -456,7 +456,7 @@ function output_status()
       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=\"".$WIKI."\">wiki/bugs</a>\n";
       echo " | <a href=\"".$RSS."?uid=".$myid."&amp;token=".$token."\">rss</a>\n";
       echo " |&nbsp;&nbsp;&nbsp; <a href=\"".$INDEX."?action=logout\">logout</a>\n";
       echo "</div>\n";