<?php

// nasty global array here

// case sensitive
$_admin_names = array();
$_admin_names[] = "Ham";
$_admin_names[] = "pasik";
$_admin_names[] = "JackMayol";
$_admin_names[] = "test";
$_admin_names[] = "Single player";

?>