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(); |