an irc bot in php