<?php
}
+function output_table($data,$caption="",$class="")
+{
+ if($class!="")
+ $HTML = "\n<table class=\"$class\">\n";
+ else
+ $HTML = "\n<table>\n";
+
+ $i=0;
+
+ if($caption!="")
+ $HTML .= " <caption> $caption </caption>\n";
+
+ foreach($data as $record)
+ {
+ if(!$i)
+ $HTML .= " <thead>\n <tr>\n";
+ else
+ {
+ if($i==1) $HTML .= " <tbody>\n";
+ if($i % 2)
+ $HTML .= " <tr class=\"odd\"> ";
+ else
+ $HTML .= " <tr class=\"even\"> ";
+ }
+ foreach($record as $point)
+ {
+ if($i)
+ $HTML .= " <td>$point</td> ";
+ else
+ $HTML .= " <th>$point</th> ";
+ }
+
+ if(!$i)
+ $HTML .= " </tr>\n </thead>\n";
+ else
+ {
+ $HTML .= " </tr>\n";
+ }
+ $i++;
+ }
+ $HTML .= " </tbody>\n</table>\n";
+
+ return $HTML;
+}
+
function display_card($card,$dir="english")
{
/* cards are only availabl for the odd values, e.g. 1.png, 3.png, ...
<title>e-Doko</title>
<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type" />
<link rel="shortcut icon" type="image/x-icon" href="pics/edoko-favicon.png" />
- <link rel="stylesheet" type="text/css" href="css/standard002.css" />
+ <link rel="stylesheet" type="text/css" href="css/standard005.css" />
<script type="text/javascript">
+ var current=0;
function hl(num) {
if(document.getElementById){
var i;
document.getElementById("trick"+i).style.display = 'none';
}
document.getElementById("trick"+num).style.display = 'block';
+ current=num;
}
}
function high_last(){
if(document.getElementById("trick"+i))
{
hl(i);
+ current=i;
break;
}
}
}
}
+ function hl_next()
+ {
+ if(document.getElementById("trick"+(current+1)))
+ hl(current+1);
+ }
+ function hl_prev()
+ {
+ if(document.getElementById("trick"+(current-1)))
+ hl(current-1);
+ }
</script>
</head>
<body onload="high_last();">
function output_status()
{
- global $defaulttimezone;
+ global $defaulttimezone,$INDEX,$WIKI;
if(isset($_SESSION["name"]))
{
$name = $_SESSION["name"];
/* logout info */
- echo "\n<div class=\"status\">";
- echo $name;
- echo " <a href=\"index.php?action=logout\">logout</a>";
+ echo "\n<div class=\"status\">\n";
+ echo $name,"\n";
+ echo " | <a href=\"".$INDEX."\"> mypage </a>\n";
+ echo " | <a href=\"".$INDEX."?action=prefs\">settings</a>\n";
+ echo " | <a href=\"".$INDEX."?action=new\">new game</a>\n";
+ echo " | <a href=\"".$INDEX."?action=stats\">statistics</a>\n";
+ echo " | <a href=\"".$WIKI."\">wiki</a>\n";
+ echo " | <a href=\"".$INDEX."?action=logout\">logout</a>\n";
echo "</div>\n";
/* last logon time */