Hi Tim, On 15 June 2023 20:17:31 BST, "Tim Düsterhus" <t...@bastelstu.be> wrote: > >Agreed, this is not ideal to sell random_int() as the default choice for all >things being equal. I've made an attempt for a more neutral / inclusive >wording in https://github.com/php/doc-en/pull/2528.
In case it's a while before I have time for a more thorough follow-up, I just want to say thank you, both for responding constructively to my concerns, and for all the work you've done and continue to do to improve this functionality and documentation. I will try to provide some feedback or suggestions on the documentation when I get a chance. Regards, -- Rowan Tommins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
