-function display_links($email,$password)
-{
- global $wiki;
- echo "<div class=\"bug\">\n".
- "Report bugs in the <a href=\"". $wiki."\">wiki</a>.<hr />\n";
- output_link_to_user_page($email,$password);
- echo "</div>\n";
- return;
-}
-
-function output_link_to_user_page($email,$password)
-{
- echo "<a href=\"index.php\"> go to my user page </a>";
-
- return;
-}
-