X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=index.php;h=691e11374aa48d0966df8185f51eb6bff95d423e;hp=7d35814cb400c13a4284c911e7e5962f07409bb2;hb=1829c4b57884b84b5ef6cb54a031a62ce53005fa;hpb=34ca8d684f3515232508f4a581828f5f069c323f
diff --git a/index.php b/index.php
index 7d35814..691e113 100644
--- a/index.php
+++ b/index.php
@@ -1,1880 +1,154 @@
+ *
+ * This file is part of e-DoKo.
+ *
+ * e-DoKo is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * e-DoKo is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with e-DoKo. If not, see .
+ *
+ */
+
error_reporting(E_ALL);
-include_once("config.php");
-include_once("output.php"); /* html output only */
-include_once("db.php"); /* database only */
-include_once("functions.php"); /* the rest */
+/* start a session, if it is not already running.
+ * This way people don't have to log in all the times.
+ * The session variables can also be read out from different
+ * php scripts, so that the code can be easily split up across several files
+ */
+session_start();
+
+include_once("config.php"); /* needs to be first in list, since other includes use this */
+include_once("./include/output.php"); /* html output only */
+include_once("./include/db.php"); /* database only */
+include_once("./include/functions.php"); /* the rest */
+/* make sure that user has set all variables in config.php */
config_check();
-if(DB_open()<0)
+/* open the database */
+$DBopen = DB_open();
+if($DBopen<0)
{
output_header();
- echo "Database error, can't connect... Please wait a while and try again. ".
- "If the problem doesn't go away feel free to contact $ADMIN_NAME at $ADMIN_EMAIL.";
- output_footer();
- exit();
- }
-
-/* start a session, if it is not already running */
-session_start();
-/* done major error checking, output header of HTML page */
-output_header();
+ if($DBopen == -1)
+ echo "Database error, can't connect... Please wait a while and try again. ".
+ "If the problem doesn't go away feel free to contact $ADMIN_NAME at $ADMIN_EMAIL.";
+ else if ($DBopen == -2)
+ echo "Wrong database version, please update your database using the update.php script.";
-/* check if we want to start a new game */
-if(myisset("logout"))
- {
- session_unset();
- session_destroy();
- $_SESSION = array();
- echo "you are now logged out!";
+ output_footer();
+ exit();
}
-else if(myisset("new"))
+
+/* localization */
+/* needs to be in front of output_header, but we don't know the users preferences at this time,
+ * so we go by the session variable or if language is set
+ */
+if(myisset('language') || isset($_SESSION['language']))
{
- if( isset($_SESSION["name"]) )
+ $language = 'en';
+ if(isset($_SESSION['language']))
+ $language = $_SESSION['language'];
+ if(myisset('language'))
{
- $names = DB_get_all_names();
- output_form_for_new_game($names);
+ $language = $_REQUEST['language'];
+ $_SESSION['language'] = $language; /* overrule preferences */
}
- else
- {
- echo "Please log in.";
+ switch($language)
+ {
+ case 'de':
+ putenv("LC_ALL=de_DE");
+ setlocale(LC_ALL, "de_DE");
+ // Specify location of translation tables
+ bindtextdomain("edoko", "./locale");
+ // Choose domain
+ textdomain("edoko");
+ break;
+ default:
+ /* do nothing */
}
}
-/*check if everything is ready to set up a new game */
- else if( myisset("PlayerA", "PlayerB","PlayerC","PlayerD","dullen","schweinchen","call" ))
- {
- $PlayerA = $_REQUEST["PlayerA"];
- $PlayerB = $_REQUEST["PlayerB"];
- $PlayerC = $_REQUEST["PlayerC"];
- $PlayerD = $_REQUEST["PlayerD"];
- $dullen = $_REQUEST["dullen"];
- $schweinchen = $_REQUEST["schweinchen"];
- $call = $_REQUEST["call"];
+/* done major error checking, output header of HTML page */
+output_header();
- $EmailA = DB_get_email_by_name($PlayerA);
- $EmailB = DB_get_email_by_name($PlayerB);
- $EmailC = DB_get_email_by_name($PlayerC);
- $EmailD = DB_get_email_by_name($PlayerD);
-
- if($EmailA=="" || $EmailB=="" || $EmailC=="" || $EmailD=="")
- {
- echo "couldn't find one of the names, please start a new game";
- output_footer();
- DB_close();
- exit();
- }
-
- $useridA = DB_get_userid_by_name($PlayerA);
- $useridB = DB_get_userid_by_name($PlayerB);
- $useridC = DB_get_userid_by_name($PlayerC);
- $useridD = DB_get_userid_by_name($PlayerD);
-
- /* create random numbers */
- $randomNR = create_array_of_random_numbers($useridA,$useridB,$useridC,$useridD);
- $randomNRstring = join(":",$randomNR);
-
- /* create game */
- $followup = NULL;
- if(myisset("followup") )
- {
- $followup= $_REQUEST["followup"];
- $session = DB_get_session_by_gameid($followup);
- $ruleset = DB_get_ruleset_by_gameid($followup); /* just copy ruleset from old game,
- this way no manipulation is possible */
- if($session)
- mysql_query("INSERT INTO Game VALUES (NULL, NULL, '$randomNRstring', 'normal', NULL,NULL,'1',NULL,'pre',".
- "'$ruleset','$session' ,NULL)");
- else
- {
- /* get max session */
- $max = DB_get_max_session();
- $max++;
- mysql_query("UPDATE Game SET session='".$max."' WHERE id=".DB_quote_smart($followup));
- mysql_query("INSERT INTO Game VALUES (NULL, NULL, '$randomNRstring', 'normal', NULL,NULL,'1',NULL,'pre',".
- "'$ruleset','$max' ,NULL)");
- }
- }
- else
- {
- /* get ruleset information or create new one */
- $ruleset = DB_get_ruleset($dullen,$schweinchen,$call);
- if($ruleset <0)
- {
- myerror("Error defining ruleset: $ruleset");
- output_footer();
- DB_close();
- exit();
- };
- /* get max session */
- $max = DB_get_max_session();
- $max++;
-
- mysql_query("INSERT INTO Game VALUES (NULL, NULL, '$randomNRstring', 'normal', NULL,NULL,'1',NULL,'pre', ".
- "'$ruleset','$max' ,NULL)");
- }
- $game_id = mysql_insert_id();
-
- /* create hash */
- $TIME = (string) time(); /* to avoid collisions */
- $hashA = md5("AGameOfDoko".$game_id.$PlayerA.$EmailA.$TIME);
- $hashB = md5("AGameOfDoko".$game_id.$PlayerB.$EmailB.$TIME);
- $hashC = md5("AGameOfDoko".$game_id.$PlayerC.$EmailC.$TIME);
- $hashD = md5("AGameOfDoko".$game_id.$PlayerD.$EmailD.$TIME);
-
- /* create hands */
- mysql_query("INSERT INTO Hand VALUES (NULL,".DB_quote_smart($game_id).",".DB_quote_smart($useridA).
- ", ".DB_quote_smart($hashA).", 'start','1',NULL,NULL,NULL,NULL)");
- $hand_idA = mysql_insert_id();
- mysql_query("INSERT INTO Hand VALUES (NULL,".DB_quote_smart($game_id).",".DB_quote_smart($useridB).
- ", ".DB_quote_smart($hashB).", 'start','2',NULL,NULL,NULL,NULL)");
- $hand_idB = mysql_insert_id();
- mysql_query("INSERT INTO Hand VALUES (NULL,".DB_quote_smart($game_id).",".DB_quote_smart($useridC).
- ", ".DB_quote_smart($hashC).", 'start','3',NULL,NULL,NULL,NULL)");
- $hand_idC = mysql_insert_id();
- mysql_query("INSERT INTO Hand VALUES (NULL,".DB_quote_smart($game_id).",".DB_quote_smart($useridD).
- ", ".DB_quote_smart($hashD).", 'start','4',NULL,NULL,NULL,NULL)");
- $hand_idD = mysql_insert_id();
-
- /* save cards */
- for($i=0;$i<12;$i++)
- mysql_query("INSERT INTO Hand_Card VALUES (NULL, '$hand_idA', '".$randomNR[$i]."', 'false')");
- for($i=12;$i<24;$i++)
- mysql_query("INSERT INTO Hand_Card VALUES (NULL, '$hand_idB', '".$randomNR[$i]."', 'false')");
- for($i=24;$i<36;$i++)
- mysql_query("INSERT INTO Hand_Card VALUES (NULL, '$hand_idC', '".$randomNR[$i]."', 'false')");
- for($i=36;$i<48;$i++)
- mysql_query("INSERT INTO Hand_Card VALUES (NULL, '$hand_idD', '".$randomNR[$i]."', 'false')");
-
- /* send out email, TODO: check for error with email */
- $message = "\n".
- "you are invited to play a game of DoKo (that is to debug the program ;).\n".
- "Place comments and bug reports here:\n".
- "http://wiki.nubati.net/index.php?title=EmailDoko\n\n".
- "The whole round would consist of the following players:\n".
- "$PlayerA\n".
- "$PlayerB\n".
- "$PlayerC\n".
- "$PlayerD\n\n".
- "If you want to join this game, please follow this link:\n\n".
- "".$host."?me=";
-
- mymail($EmailA,"You are invited to a game of DoKo","Hello $PlayerA,\n".$message.$hashA);
- mymail($EmailB,"You are invited to a game of DoKo","Hello $PlayerB,\n".$message.$hashB);
- mymail($EmailC,"You are invited to a game of DoKo","Hello $PlayerC,\n".$message.$hashC);
- mymail($EmailD,"You are invited to a game of DoKo","Hello $PlayerD,\n".$message.$hashD);
-
- echo "You started a new game. The emails have been sent out!";
- } /* end set up a new game */
-/* cancle a game, if nothing has happend in the last N minutes */
-else if(myisset("cancle","me"))
- {
- $me = $_REQUEST["me"];
-
- /* test for valid ID */
- $myid = DB_get_userid_by_hash($me);
- if(!$myid)
- {
- echo "Can't find you in the database, please check the url.
\n";
- echo "perhaps the game has been cancled, check by login in here.";
- output_footer();
- DB_close();
- exit();
- }
-
- DB_update_user_timestamp($myid);
-
- /* get some information from the DB */
- $gameid = DB_get_gameid_by_hash($me);
- $myname = DB_get_name_by_hash($me);
+/* The rest of the file consists of handling user input.
+ * The user sends information via html GET and POST variables,
+ * and the action variable tells the prog what the user wants to do
+ */
+if(myisset("action"))
+ $action=$_REQUEST['action'];
+else
+ $action=""; /* so that we can use a default option below */
- /* check if game really is old enough */
- $result = mysql_query("SELECT mod_date from Game WHERE id='$gameid' " );
- $r = mysql_fetch_array($result,MYSQL_NUM);
- if(time()-strtotime($r[0]) > 60*60*24*30) /* = 1 month */
- {
- $message = "Hello, \n\n".
- "Game ".DB_format_gameid($gameid)." has been cancled since nothing happend for a while and $myname requested it.\n";
-
- $userids = DB_get_all_userid_by_gameid($gameid);
- foreach($userids as $user)
- {
- $To = DB_get_email_by_userid($user);
- mymail($To,$EmailName."game ".DB_format_gameid($gameid)." cancled (timed out)",$message);
- }
-
- /* delete everything from the dB */
- DB_cancel_game($me);
-
- echo "
Game ".DB_format_gameid($gameid)." has been cancled.
";
- }
- else
- echo "You need to wait longer before you can cancle a game...
\n";
- }
-/* send out a reminder */
-else if(myisset("remind","me"))
+switch($action)
{
- $me = $_REQUEST["me"];
-
- /* test for valid ID */
- $myid = DB_get_userid_by_hash($me);
- if(!$myid)
- {
- echo "Can't find you in the database, please check the url.
\n";
- echo "perhaps the game has been cancled, check by login in here.";
- output_footer();
- DB_close();
- exit();
- }
-
- DB_update_user_timestamp($myid);
-
- /* get some information from the DB */
- $gameid = DB_get_gameid_by_hash($me);
- $myname = DB_get_name_by_hash($me);
-
- /* check if game really is old enough */
- $result = mysql_query("SELECT mod_date,player,status from Game WHERE id='$gameid' " );
- $r = mysql_fetch_array($result,MYSQL_NUM);
- if( (time()-strtotime($r[0]) > 60*60*24*7) && ($r[2]!='gameover') ) /* = 1 week */
- {
- $name = DB_get_name_by_userid($r[1]);
- $To = DB_get_email_by_userid($r[1]);
- $userhash = DB_get_hash_from_gameid_and_userid($gameid,$r[1]);
-
- $message = "Hello $name, \n\n".
- "It's your turn in game ".DB_format_gameid($gameid)." \n".
- "Actually everyone else is waiting for you for more than a week now ;)\n\n".
- "Please visit this link now to continue: \n".
- " ".$host."?me=".$userhash."\n\n" ;
-
- if(DB_get_reminder($r[1],$gameid)>0)
- {
- echo "An email has already been sent out.
\n";
- }
- else
- {
- DB_set_reminder($r[1],$gameid);
- mymail($To,$EmailName."Reminder: game ".DB_format_gameid($gameid)." it's your turn",$message);
-
- echo "Game ".DB_format_gameid($gameid).": an email has been sent out.
";
- }
- }
+ case 'new':
+ require './include/newgame.php';
+ break;
+ case 'cancel':
+ require './include/cancelgame.php';
+ break;
+ case 'reminder':
+ require './include/reminder.php';
+ break;
+ case 'logout':
+ require './include/logout.php';
+ require './include/welcome.php';
+ break;
+ case 'login':
+ require './include/login.php';
+ require './include/user.php';
+ break;
+ case 'register':
+ require './include/register.php';
+ break;
+ case 'prefs':
+ require './include/preferences.php';
+ break;
+ case 'game':
+ require './include/game.php';
+ break;
+ case 'about':
+ require './include/about.php';
+ break;
+ case 'stats':
+ if(isset($_SESSION["name"]))
+ require './include/stats.php';
else
- echo "You need to wait longer before you can send out a reminder...
\n";
- }
-/* handle request from one specific player for one game,
- * (the hash is set on a per game base) */
-else if(myisset("me"))
- {
- $me = $_REQUEST["me"];
-
- /* test for valid ID */
- $myid = DB_get_userid_by_hash($me);
- if(!$myid)
- {
- echo "Can't find you in the database, please check the url.
\n";
- echo "perhaps the game has been cancled, check by login in here.";
- output_footer();
- DB_close();
- exit();
- }
-
+ require './include/welcome.php';
+ break;
+ default:
if(isset($_SESSION["name"]))
- output_status($_SESSION["name"]);
-
- /* the user had done something, update the timestamp */
- DB_update_user_timestamp($myid);
-
- /* get some information from the DB */
- $gameid = DB_get_gameid_by_hash($me);
- $myname = DB_get_name_by_hash($me);
- $mystatus = DB_get_status_by_hash($me);
- $mypos = DB_get_pos_by_hash($me);
- $myhand = DB_get_handid_by_hash($me);
- $session = DB_get_session_by_gameid($gameid);
-
- /* get prefs and save them */
- DB_get_PREF($myid);
- /* end set pref */
-
- /* get rule set for this game */
- $result = mysql_query("SELECT * FROM Rulesets".
- " LEFT JOIN Game ON Game.ruleset=Rulesets.id ".
- " WHERE Game.id='$gameid'" );
- $r = mysql_fetch_array($result,MYSQL_NUM);
-
- $RULES["dullen"] = $r[2];
- $RULES["schweinchen"] = $r[3];
- $RULES["call"] = $r[4];
-
- /* get some infos about the game */
- $gametype = DB_get_gametype_by_gameid($gameid);
- $gamestatus = DB_get_game_status_by_gameid($gameid);
- $GT = $gametype;
- if($gametype=="solo")
- {
- $gametype = DB_get_solo_by_gameid($gameid);
- $GT = $gametype." ".$GT;
- }
-
- /* does anyone have both foxes */
- $GAME["schweinchen"]=0;
- for($i=1;$i<5;$i++)
- {
- $hash = DB_get_hash_from_game_and_pos($gameid,$i);
- $cards = DB_get_all_hand($hash);
- if( in_array("19",$cards) && in_array("20",$cards) )
- {
- $GAME["schweinchen"]=1;
- $GAME["schweinchen-who"]=$hash;
- }
- };
-
- /* put everyting in a form */
- echo "\n";
- output_footer();
- DB_close();
- exit();
- }
-/* user status page */
-else if( myisset("email","password") || isset($_SESSION["name"]) )
- {
- /* test id and password, should really be done in one step */
- if(!isset($_SESSION["name"]))
- {
- $email = $_REQUEST["email"];
- $password = $_REQUEST["password"];
- }
- else
- {
- $name = $_SESSION["name"];
- $email = DB_get_email_by_name($name);
- $password = DB_get_passwd_by_name($name);
- };
-
- if(myisset("forgot"))
- {
- $ok = 1;
-
- $myid = DB_get_userid_by_email($email);
- if(!$myid)
- $ok = 0;
-
- if($ok)
- {
- /* check how many entries in recovery table */
- $number = DB_get_number_of_passwords_recovery($myid);
-
- /* if less than N recent ones, add a new one and send out email */
- if( $number < 5 )
- {
- echo "Ok, I send you a new password.
";
- if($number >1)
- echo "N.B. You tried this already $number times during the last day and it will only work ".
- " 5 times during a day.
";
- echo "The new password will be valid for one day, make sure you reset it to something else.
";
- echo "Back to the main page.";
-
- $TIME = (string) time(); /* to avoid collisions */
- $hash = md5("Anewpassword".$email.$TIME);
- $newpw = substr($hash,1,8);
-
- $message = "Someone (hopefully you) requested a new password. \n".
- "You can use this email and the following password: \n".
- " $newpw \n".
- "to log into the server. The new password is valid for 24h, so make\n".
- "sure you reset your password to something new. Your old password will\n".
- " also still be valid until you set a new one\n";
- mymail($email,$EmailName."recovery ",$message);
-
- DB_set_recovery_password($myid,md5($newpw));
- }
- else
- {
- echo "Sorry you already tried 5 times during the last 24h.
".
- "You need to use one of those passwords or wait to get a new one.
";
- echo "Back to the main page.";
- }
- }
- else
- {
- if($email=="")
- echo "You need to give me an email address!
".
- "Please try again.";
- else
- echo "Couldn't find a player with this email!
".
- "Please contact Arun, if you think this is a mistake
".
- "or else try again.";
- }
- }
- else
- {
- /* verify password and email */
- if(strlen($password)!=32)
- $password = md5($password);
-
- $ok = 1;
- $myid = DB_get_userid_by_email_and_password($email,$password);
- if(!$myid)
- $ok = 0;
-
- if($ok)
- {
- DB_get_PREF($myid);
-
- if(myisset("setpref"))
- {
- $setpref=$_REQUEST["setpref"];
- switch($setpref)
- {
- case "germancards":
- case "englishcards":
- $result = mysql_query("SELECT * from User_Prefs".
- " WHERE user_id='$myid' AND pref_key='cardset'" );
- if( mysql_fetch_array($result,MYSQL_NUM))
- $result = mysql_query("UPDATE User_Prefs SET value=".DB_quote_smart($setpref).
- " WHERE user_id='$myid' AND pref_key='cardset'" );
- else
- $result = mysql_query("INSERT INTO User_Prefs VALUES(NULL,'$myid','cardset',".
- DB_quote_smart($setpref).")");
- echo "Ok, changed you preferences for the cards.\n";
- break;
- }
- }
- else if(myisset("passwd"))
- {
- if( $_REQUEST["passwd"]=="ask" )
- {
- /* reset password form*/
- output_password_recovery($email,$password);
- }
- else if($_REQUEST["passwd"]=="set")
- {
- /* reset password */
- $ok = 1;
-
- /* check if old password matches */
- $oldpasswd = md5($_REQUEST["password0"]);
- if(!( ($password == $oldpasswd) || DB_check_recovery_passwords($oldpasswd,$email) ))
- $ok = -1;
- /* check if new passwords are types the same twice */
- if($_REQUEST["password1"] != $_REQUEST["password2"] )
- $ok = -2;
-
- switch($ok)
- {
- case '-2':
- echo "The new passwords don't match.
";
- break;
- case '-1':
- echo "The old password is not correct.
";
- break;
- case '1':
- echo "Changed the password.
";
- mysql_query("UPDATE User SET password='".md5($_REQUEST["password1"]).
- "' WHERE id=".DB_quote_smart($myid));
- break;
- }
- /* set password */
- }
- }
- else /* output default user page */
- {
- $time = DB_get_user_timestamp($myid);
- $unixtime = strtotime($time);
-
- $offset = DB_get_user_timezone($myid);
- $zone = return_timezone($offset);
- date_default_timezone_set($zone);
-
- $myname = DB_get_name_by_email($email);
- $_SESSION["name"] = $myname;
-
- if(isset($_SESSION["name"]))
- output_status($_SESSION["name"]);
-
- /* display links to settings */
- output_user_settings($email,$password);
-
- echo "last login: ".date("r",$unixtime)."
";
-
- DB_update_user_timestamp($myid);
-
- display_user_menu();
-
- echo "";
- echo "
These are all your games:
\n";
- echo "
Session:
\n";
- echo " p = pre-game phase ";
- echo "P = game in progess ";
- echo "F = game finished
";
- echo "
\n";
-
- $output = array();
- $result = mysql_query("SELECT Hand.hash,Hand.game_id,Game.mod_date,Game.player,Game.status from Hand".
- " LEFT JOIN Game ON Game.id=Hand.game_id".
- " WHERE user_id='$myid'".
- " ORDER BY Game.session,Game.create_date" );
- $gamenrold = -1;
- echo "
\n \n";
- while( $r = mysql_fetch_array($result,MYSQL_NUM))
- {
- $game = DB_format_gameid($r[1]);
- $gamenr = (int) $game;
- if($gamenrold < $gamenr)
- {
- if($gamenrold!=-1)
- echo " |
\n $gamenr: | ";
- else
- echo "$gamenr: | ";
- $gamenrold = $gamenr;
- }
- if($r[4]=='pre')
- {
- echo "\n p ";
-
- }
- else if ($r[4]=='gameover')
- echo "\n F ";
- else
- {
- echo "\n P ";
- }
- if($r[4] != 'gameover')
- {
- echo " | \n ";
- if($r[3])
- {
- if($r[3]==$myid)
- echo "(it's your turn)\n";
- else
- {
- $name = DB_get_name_by_userid($r[3]);
- $gameid = $r[1];
- if(DB_get_reminder($r[3],$gameid)==0)
- if(time()-strtotime($r[2]) > 60*60*24*7)
- echo "".
- "Send a reminder.";
- echo "(it's $name's turn)\n";
- };
- }
- if(time()-strtotime($r[2]) > 60*60*24*30)
- echo "".
- "Cancel?".
- " (clicking here is final and can't be restored)";
-
- }
- }
- echo " |
\n
\n";
- $names = DB_get_all_names();
- echo "
Registered players:
\n
\n";
- echo implode(", ",$names)."\n";
- echo "
\n
";
- }
- }
- else
- {
- echo "Sorry email and password don't match. Please try again.
";
- }
- };
- output_footer();
- DB_close();
- exit();
- }
-/* default login page */
- else
- {
- $pre[0]=0;$game[0]=0;$done[0]=0;
- $r=mysql_query("SELECT COUNT(id) FROM Game GROUP BY status");
- if($r) {
- $pre = mysql_fetch_array($r,MYSQL_NUM);
- $game = mysql_fetch_array($r,MYSQL_NUM);
- $done = mysql_fetch_array($r,MYSQL_NUM);
- }
-
- $r=mysql_query("SELECT AVG(datediff(mod_date,create_date)) FROM Game where status='gameover' ");
- if($r)
- $avgage= mysql_fetch_array($r,MYSQL_NUM);
- else
- $avgage[0]=0;
+ require './include/user.php';
+ else
+ require './include/welcome.php';
+ }
- output_home_page($pre[0],$game[0],$done[0],$avgage[0]);
- }
+/* ask for login or display login info, needs to go at the end, so that we have the
+ * session-variable already set.
+ */
+output_status();
output_footer();
DB_close();
/*
- *Local Variables:
+ *Local Variables:
*mode: php
*mode: hs-minor
*End:
*/
?>
-
-