Re: [PHP-DEV] Order of properties in (array) cast on PHP 8.1

[Benjamin Morel]

>
> Yes, this change is expected and documented, see:
>
> https://www.php.net/manual/en/migration81.other-changes.php#migration81.other-changes.functions.core
>

Thanks for the pointer!
And sorry for the noise.

— Benjamin