diff options
| author | Arun Persaud <arun@nubati.net> | 2008-02-28 23:01:08 -0800 |
|---|---|---|
| committer | Arun Persaud <arun@nubati.net> | 2008-02-28 23:07:46 -0800 |
| commit | a35c7c7be53220ddeea8442396be0b4299589088 (patch) | |
| tree | 4e781a76364447ab30ff1e605f687654a9ca353a /functions.php | |
| parent | a5274cbae84c49977d6d1195d8c4e7a3d96391a1 (diff) | |
| download | e-DoKo-a35c7c7be53220ddeea8442396be0b4299589088.tar.gz e-DoKo-a35c7c7be53220ddeea8442396be0b4299589088.tar.bz2 e-DoKo-a35c7c7be53220ddeea8442396be0b4299589088.zip | |
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>
Diffstat (limited to 'functions.php')
| -rw-r--r-- | functions.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/functions.php b/functions.php index 0ce3104..5adf4fa 100644 --- a/functions.php +++ b/functions.php @@ -785,7 +785,7 @@ function display_table () 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>"; @@ -808,7 +808,7 @@ function display_user_menu() 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; } |