Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #80067: Omitting the port in bindto setting errors

diff --cc NEWS
index 757d225a4ab1e9ad8c169eb575dd774686c3350d,67fbb361b7602cdae37d037e6601bbd064e6f1c8..d794aebfa3f52775bcc22c1d1ac6221d90529fe8
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -35,8 -30,9 +35,9 @@@ PH
    . Fixed bug #80077 (getmxrr test bug). (Rainer Jung)
    . Fixed bug #72941 (Modifying bucket->data by-ref has no effect any longer).
      (cmb)
+   . Fixed bug #80067 (Omitting the port in bindto setting errors). (cmb)
  
 -03 Sep 2020, PHP 7.3.22
 +03 Sep 2020, PHP 7.4.10
  
  - Core:
    . Fixed bug #79884 (PHP_CONFIG_FILE_PATH is meaningless). (cmb)

diff --cc main/network.c
Simple merge

diff --cc main/streams/xp_socket.c
Simple merge