On 22-07-2020 18:51, Derick Rethans wrote: > This is something that STV is specifically designed to solve. You rank > in order by preference. And @@, <<>>, and #[] were all three options. > > In your example, these people would have marked @@ as first, <<>> as > second, and #[] as third.
Ah, that was not clear to me. My apologies for the noise. Thanks, Dik -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php