Additions to HttpRequest docs

sdk/lib/html/dart2js/html_dart2js.dart

Index: sdk/lib/html/dart2js/html_dart2js.dart
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
index 37f50412935351d54e57b438bbf126a0c533e054..0dec810aca4c80984e2a627074e74f5414f7a73e 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -14612,11 +14612,11 @@ class HttpRequest extends HttpRequestEventTarget native "XMLHttpRequest" {
    *
    * This is similar to [request] but specialized for HTTP GET requests which
    * return text content.
-   * 
+   *
    * To add query parameters, append them to the [url] following a `?`,
    * joining each key to its value with `=` and separating key-value pairs with
    * `&`.
-   * 
+   *
    *     var name = Uri.encodeQueryComponent('John');
    *     var id = Uri.encodeQueryComponent('42');
    *     HttpRequest.getString('users.json?name=$name&id=$id')
@@ -14643,13 +14643,13 @@ class HttpRequest extends HttpRequestEventTarget native "XMLHttpRequest" {
    *
    * If [data] is supplied, the key/value pairs are URI encoded with
    * [Uri.encodeQueryComponent] and converted into an HTTP query string.
-   * 
+   *
    * Unless otherwise specified, this method appends the following header:
    *
    *     Content-Type: application/x-www-form-urlencoded; charset=UTF-8
-   * 
+   *
    * Here's an example of using this method:
-   * 
+   *
    *     var data = { 'firstName' : 'John', 'lastName' : 'Doe' };
    *     HttpRequest.postFormData('/send', data).then((HttpRequest resp) {
    *       // Do something with the response.
@@ -14706,7 +14706,6 @@ class HttpRequest extends HttpRequestEventTarget native "XMLHttpRequest" {
    * * The `Access-Control-Allow-Credentials` header of `url` must be set to true.
    * * If `Access-Control-Expose-Headers` has not been set to true, only a subset of all the response headers will be returned when calling [getAllRequestHeaders].
    *
-   * 
    * The following is equivalent to the [getString] sample above:
    *
    *     var name = Uri.encodeQueryComponent('John');