This function was previously called as set_socket_timeout() and later socket_set_timeout() but this usage is deprecated.
stream_set_timeout() était appelée auparavant set_socket_timeout(), et aussi socket_set_timeout() mais ces appellations sont obsolètes.