"") && (file_exists("../src/arenas/".$currentArena."/act.php"))){
require_once("../src/arenas/".$currentArena."/act.php");
}
}
//title
if($currentArena == ""){
$siteTitle = $lang['SITE_NAME'];
}else{
$siteTitle=$currentArenaArr['title'];
}
?>
";
}
//arena specific script js (if needed)
if(isset($currentArenaArr['jsFile'])){
echo '";
}
?>
';
foreach($hist as $sc){
echo ''.$sc['bot1'].' VS '.$sc['bot2'].'
- '.$sc['bot1']." ".$lang['VICTORIES'].":".$sc['player1Wins'].'
- '.$sc['bot2']." ".$lang['VICTORIES'].":".$sc['player2Wins'].'
- '$lang['DRAW'].":".$sc['draws'].'
';
}
echo ''
break;
}
?>