php api:use socket_set_option instead of socket_set_timeout

Use socket_set_option instead.