"") && (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']; } ?> <?php echo $siteTitle; ?> "; } //arena specific script js (if needed) if(isset($currentArenaArr['jsFile'])){ echo '"; } ?>

Scores

'; foreach($hist as $sc){ echo '

'.$sc['bot1'].' VS '.$sc['bot2'].'

'; } echo ''; break; } ?>