function display_user_menu()
{
global $WIKI,$myid,$INDEX;
- echo "<div class=\"usermenu\">\n";
$result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand".
" LEFT JOIN Game On Hand.game_id=Game.id".
$i=0;
while( $r = DB_fetch_array($result))
{
+ if($i==0)
+ echo "<div class=\"usermenu\">\n";
+
$i++;
echo "<a href=\"".$INDEX."?action=game&me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n";
if($i>4)
}
}
- echo "</div>\n";
+ if($i)
+ echo "</div>\n";
return;
}
function generate_global_score_table()
{
+ $return = array();
+
/* get all ids */
$gameids = DB_get_gameids_of_finished_games_by_session(0);
}
}
- echo "<table>\n <tr>\n";
function cmp($a,$b)
{
if($a['nr']==0 ) return 1;
return ($a > $b) ? -1 : 1;
}
usort($player,"cmp");
+
foreach($player as $pl)
{
+ /* limit to players with at least 10 games */
if($pl['nr']>10)
- echo " <tr><td>",$pl['name'],"</td><td>",round($pl['points']/$pl['nr'],3),"</td></tr>\n";
+ $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3) );
}
- echo "</table>\n";
- return;
+ return $return;
}