A PHP IRC bot