| Index: sdk/lib/html/dartium/html_dartium.dart
|
| diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
|
| index 30ea8b93349268176c75030ecbca4d3408110daf..7d30a67fcd2e2c8fb91213d1a74198f79911f282 100644
|
| --- a/sdk/lib/html/dartium/html_dartium.dart
|
| +++ b/sdk/lib/html/dartium/html_dartium.dart
|
| @@ -12446,11 +12446,13 @@ class HtmlElement extends _Element_Merged {
|
|
|
|
|
| class HttpRequest extends EventTarget {
|
| - factory HttpRequest.get(String url, onSuccess(HttpRequest request)) =>
|
| - _HttpRequestFactoryProvider.createHttpRequest_get(url, onSuccess);
|
| + factory HttpRequest.get(String url, onComplete(HttpRequest request)) =>
|
| + _HttpRequestFactoryProvider.createHttpRequest_get(url, onComplete);
|
|
|
| - factory HttpRequest.getWithCredentials(String url, onSuccess(HttpRequest request)) =>
|
| - _HttpRequestFactoryProvider.createHttpRequest_getWithCredentials(url, onSuccess);
|
| + factory HttpRequest.getWithCredentials(String url,
|
| + onComplete(HttpRequest request)) =>
|
| + _HttpRequestFactoryProvider.createHttpRequest_getWithCredentials(url,
|
| + onComplete);
|
|
|
|
|
| factory HttpRequest() => _HttpRequestFactoryProvider.createHttpRequest();
|
|
|