1--TEST--
2Bug #72075 (Referencing socket resources breaks stream_select)
3--FILE--
4<?php
5$r = [stream_socket_server("tcp://127.0.0.1:0", $errno, $errStr)];
6$w = NULL;
7$e = NULL;
8
9// Without this line, all is well:
10$dummy =& $r[0];
11
12print stream_select($r, $w, $e, 0.5);
13--EXPECT--
140
15