[PHP-DEV] [Vote] Pipe operator

I hereby open the vote on the Pipe operator RFC:

https://wiki.php.net/rfc/pipe-operator-v3

The vote will run until 26 May.

-- 
  Larry Garfield
  [email protected]