From 86982558adca2e31d4980422b9ed0f5d4f9799be Mon Sep 17 00:00:00 2001
From: Luigi Pinca <luigipinca@gmail.com>
Date: Sat, 16 Feb 2019 18:56:20 +0100
Subject: [PATCH] doc: add documentation for the defaultPort option

PR-URL: https://github.com/nodejs/node/pull/26152
Reviewed-By: Anna Henningsen <anna@addaleax.net>
Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
---
 doc/api/http.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/api/http.md b/doc/api/http.md
index b093f2e014195d..19a430cb97f1da 100644
--- a/doc/api/http.md
+++ b/doc/api/http.md
@@ -1971,7 +1971,10 @@ changes:
   * `family` {number} IP address family to use when resolving `host` or
     `hostname`. Valid values are `4` or `6`. When unspecified, both IP v4 and
     v6 will be used.
-  * `port` {number} Port of remote server. **Default:** `80`.
+  * `defaultPort` {number} Default port for the protocol. **Default:**
+    `agent.defaultPort` if an `Agent` is used, else `undefined`.
+  * `port` {number} Port of remote server. **Default:** `defaultPort` if set,
+    else `80`.
   * `localAddress` {string} Local interface to bind for network connections.
   * `socketPath` {string} Unix Domain Socket (cannot be used if one of `host`
      or `port` is specified, those specify a TCP Socket).