PHP 8.5 Released

Pipe operator is probably the biggest visible addition, but there's been quite a few bits since 8.4, with some quality of life improvements.