Comment by moebrowne

8.5 notably includes the new pipe operator: https://stitcher.io/blog/pipe-operator-in-php-85