PHP 8.5.0 released

Version
8.5.0 of the PHP language has been released. Changes include a new
'|>' operator that, for some reason, makes these two lines
equivalent:

$result = strlen('Hello world');
$result = 'Hello world' |> strlen(...);

Other changes include a new function attribute, '#[NoDiscard]' to
indicate that the return value should be used, attributes on constants, and
more; see the
migration guide for details.