A PHP 5 IRC bot