I have opened the vote on the Pipe operator RFC: https://wiki.php.net/rfc/pipe-operator-v2
The vote will close on 20 July. -- Larry Garfield la...@garfieldtech.com -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php