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