Merge branch 'PHP-5.3' of https://git.php.net/push/php-src into PHP-5.3

* 'PHP-5.3' of https://git.php.net/push/php-src:
  Fixed bug #64770 stream_select() fails with pipes
better fix for bug #64770
Merge branch 'PHP-5.3' into PHP-5.4

* PHP-5.3:
  better fix for bug #64770
better fix for bug #64770