BUGFIX: link to wiki wasn't in the config file, added link on the home page

* the home page now links to the wiki
* the wiki-url is now part of the config file

Signed-off-by: Arun Persaud <arun@nubati.net>

diff --git a/config.php_template b/config.php_template
index 0ccd54089016d98bc22f3a4627ddfc031f4363bc..29212ca0561b7598950530352d05a78afffb21cb 100644 (file)
--- a/config.php_template
+++ b/config.php_template
@@ -31,6 +31,9 @@
     $INDEX = "/index.php";
     $HOST  = "http://www.example.com";
 
     $INDEX = "/index.php";
     $HOST  = "http://www.example.com";
 

+    /* point this to a Wiki that explains the rules, etc (or use this one)*/
+    $WIKI  = "http://wiki.nubati.net/index.php?title=EmailDoko";
+

     /* the default timezone for you domain */
     $defaulttimezone = date_default_timezone_get();
 ?>
\ No newline at end of file
     /* the default timezone for you domain */
     $defaulttimezone = date_default_timezone_get();
 ?>
\ No newline at end of file

diff --git a/functions.php b/functions.php
index 0ce3104701f2175c24d53f6e63053904ba8846d7..5adf4fa274627652b5ff01e620a02c93289a5c04 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -785,7 +785,7 @@ function display_table ()
 
 function display_user_menu()
 {
 
 function display_user_menu()
 {

-  global $wiki,$myid,$INDEX,$STATS;
+  global $WIKI,$myid,$INDEX,$STATS;

   echo "<div class=\"usermenu\">\n".
     "<a href=\"".$INDEX."\"> Go to my user page </a>";
 
   echo "<div class=\"usermenu\">\n".
     "<a href=\"".$INDEX."\"> Go to my user page </a>";
 


@@ -808,7 +808,7 @@ function display_user_menu()
   echo "<hr /> <a href=\"".$STATS."\">Statistics</a>\n";
 
   echo
   echo "<hr /> <a href=\"".$STATS."\">Statistics</a>\n";
 
   echo

-    "<hr />Report bugs in the <a href=\"".$wiki."\">wiki</a>\n";
+    "<hr />Report bugs in the <a href=\"".$WIKI."\">wiki</a>\n";

   echo  "</div>\n";
   return;
 }
   echo  "</div>\n";
   return;
 }

diff --git a/output.php b/output.php
index cf84e8b828cf8480ccff89d2c3cf7ce6f0937327..77ef0f6eac8bcc1fe06cdaf29d788619ed2c4be4 100644 (file)
--- a/output.php
+++ b/output.php
@@ -239,33 +239,35 @@ function output_check_want_to_play($me)
 
 function output_home_page($pre,$game,$done,$avgtime)
 {
 
 function output_home_page($pre,$game,$done,$avgtime)
 {

-?>
-    <p> If you want to play a game of Doppelkopf, you found the right place ;) </p>
-<?php
-    if($pre == 0)
-      echo "<p> At the moment there are no games that are being started ";
-    else if($pre==1)
-      echo "<p> At the moment there is one games that is being started ";
-    else
-      echo "<p> At the moment there are $pre games that are being started ";
-
-    echo "and ";
-
-    if($game==0)
-      echo "zero games that are ongoing. ";
-    else if($game==1)
-      echo "one game that is ongoing. ";
-    else
-      echo "$game games that are ongoing. ";
-
-    echo "<br />\n";
-
-    if($done==0)
-      echo "No game has been completed on this server. </p>";
-    else if($done==1)
-      echo "One game has been completed on this server. </p>";
-    else
-      echo "$done games have been completed on this server. Average time of a game: $avgtime days</p>";
+  global $WIKI;
+  
+  echo"<p> If you want to play a game of Doppelkopf, you found the right place ;)".
+    " For more information please visit our <a href=\"$WIKI\">wiki</a>. </p>";
+  
+  if($pre == 0)
+    echo "<p> At the moment there are no games that are being started ";
+  else if($pre==1)
+    echo "<p> At the moment there is one games that is being started ";
+  else
+    echo "<p> At the moment there are $pre games that are being started ";
+  
+  echo "and ";
+  
+  if($game==0)
+    echo "zero games that are ongoing. ";
+  else if($game==1)
+    echo "one game that is ongoing. ";
+  else
+    echo "$game games that are ongoing. ";
+  
+  echo "<br />\n";
+  
+  if($done==0)
+    echo "No game has been completed on this server. </p>";
+  else if($done==1)
+    echo "One game has been completed on this server. </p>";
+  else
+    echo "$done games have been completed on this server. Average time of a game: $avgtime days</p>";

 ?>
 
     <p> Please <a href="./register.php">register</a>, in case you have not done that yet  <br />
 ?>
 
     <p> Please <a href="./register.php">register</a>, in case you have not done that yet  <br />