Kicking bots

[php]

		names = [];
    names[names.size] = "Rob";
    names[names.size] = "Richard";
    names[names.size] = "Jim";
    names[names.size] = "IzNoGoD";
    names[names.size] = "Harry";
    names[names.size] = "Wizard";
    names[names.size] = "Pancakes";
    for(i=0;i<15;i++) {
        b = addtestclient();
        b renamebot(names[randomInt(names.size-1)]);