From 5e1a0bda25ddea405798e52388de4dd0a05d356c Mon Sep 17 00:00:00 2001 From: Arun Persaud Date: Tue, 6 May 2008 22:21:11 -0700 Subject: CLEANUP: moved html from output.php to welcome.php since we now have several files in the include directory, it makes more sense to keep the html directly in the file for some cases instead of putting it in output.php. Signed-off-by: Arun Persaud --- include/output.php | 59 ------------------------------------------------------ 1 file changed, 59 deletions(-) (limited to 'include/output.php') diff --git a/include/output.php b/include/output.php index 6d7deb7..38356dd 100644 --- a/include/output.php +++ b/include/output.php @@ -226,7 +226,6 @@ function output_form_calls($me) "
"; } - function output_check_want_to_play($me) { ?> @@ -243,64 +242,6 @@ function output_check_want_to_play($me) return; } -function output_home_page($pre,$game,$done,$avgtime) -{ - global $WIKI; - - echo"

If you want to play a game of Doppelkopf, you found the right place ;)". - " For more information please visit our wiki.

"; - - if($pre == 0) - echo "

At the moment there are no games that are being started "; - else if($pre==1) - echo "

At the moment there is one games that is being started "; - else - echo "

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 "
\n"; - - if($done==0) - echo "No game has been completed on this server.

"; - else if($done==1) - echo "One game has been completed on this server.

"; - else - echo "$done games have been completed on this server. Average time of a game: $avgtime days

"; -?> - -

Please register, in case you have not done that yet
- or login with you email-address or name and password here: -

-
-
- Login - - - - - - - - - - - -
-
-
- -