[php] Socket.select(), Socket.setFastSend() and Socket.listen() are not implemented

[RealyUniqueName]

No description provided.

[ncannasse]

I did open the link with the hope it was a pull request :)

[RealyUniqueName]

Are you using php target? )

[ncannasse]

No, but it would have been a simple merge ;)

[bendmorris]

@RealyUniqueName are we open to requiring the sockets extension for the PHP target? If so this will be trivial to implement, but if not I think getting bind and listen to work consistent with other targets will be impossible, and it looks like TCP_NODELAY support wasn't added for streams until 7.1 (https://bugs.php.net/bug.php?id=51879)

[RealyUniqueName]

Yes, socket extension is ok. We already require mysql, sqlite and multibyte string extensions. And stream_socket_* functions also belong to an extension.

[bendmorris]

Addressing as part of #6887