[PHP-DEV] [VOTE] Make sorting stable

[Nikita Popov]

Hi internals,

I've opened voting on the stable sorting RFC:
https://wiki.php.net/rfc/stable_sorting

Voting closes 2020-06-17.

Regards,
Nikita