An IRC bot written in PHP