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?>
14--EXPECTF--
15Deprecated: Implicit conversion from float 0.5 to int loses precision in %s on line %d
160
17