| Index: client/html/generated/html/interface/XMLHttpRequest.dart
|
| diff --git a/client/html/generated/html/interface/XMLHttpRequest.dart b/client/html/generated/html/interface/XMLHttpRequest.dart
|
| index 325d3e765819aeb4c3c9bfa34d71ec2c098799e0..8fee5b9c1685bfbc8dd5b59e42399e10607145da 100644
|
| --- a/client/html/generated/html/interface/XMLHttpRequest.dart
|
| +++ b/client/html/generated/html/interface/XMLHttpRequest.dart
|
| @@ -5,13 +5,12 @@
|
| // WARNING: Do not edit - generated code.
|
|
|
| interface XMLHttpRequest extends EventTarget default _XMLHttpRequestFactoryProvider {
|
| -
|
| - XMLHttpRequest();
|
| -
|
| // TODO(rnystrom): This name should just be "get" which is valid in Dart, but
|
| // not correctly implemented yet. (b/4970173)
|
| XMLHttpRequest.getTEMPNAME(String url, onSuccess(XMLHttpRequest request));
|
|
|
| + XMLHttpRequest();
|
| +
|
| static final int DONE = 4;
|
|
|
| static final int HEADERS_RECEIVED = 2;
|
|
|