An IRC client in PHP