Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #77938: socket_get_option error
This commit is contained in:
Christoph M. Becker 2019-04-25 00:06:15 +02:00
commit 6dbb1d9318

View File

@ -10,6 +10,9 @@ if (!extension_loaded("sockets")) die("skip: need sockets");
$ctxt = stream_context_create([
"socket" => [
"tcp_nodelay" => true
],
"http" => [
"follow_location" => 0
]
]);