A smart PHP IRC bot