diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-05-27 07:40:09 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2018-05-28 22:14:37 +0200 |
commit | af01ef874170900019b5173d443d5ccb9d589f0a (patch) | |
tree | b418332fa6fde08c71c6025936c762ecb7e046b1 /ext/reflection/php_reflection.c | |
parent | c70468b8d3c1d6711da0db84cba30d87d2482e5c (diff) | |
download | php-git-af01ef874170900019b5173d443d5ccb9d589f0a.tar.gz |
Remove unused binary_pipes option
Option binary_pipes was added in PHP 6 which was then refactored
and this option was removed.
Diffstat (limited to 'ext/reflection/php_reflection.c')
0 files changed, 0 insertions, 0 deletions