[VOTE] Randomizer Additions

Hi as Joshua announced on Monday [1] we're now opening the vote for "Randomizer Additions" [2] The RFC contains two votes, each of which requires a 2/3 majority. Voting will run 2 weeks until: 2022-11-23 at 09:00 UTC -------- Please find the below resources for your reference: RFC: https://wiki.php.net/rfc/randomizer_additions PoC implementation: - https://github.com/php/php-src/pull/9664 (For Vote (1)) - https://github.com/php/php-src/pull/9679 (For Vote (2)) Discussion Thread: https://externals.io/message/118810 -------- [1] https://externals.io/message/118810#118980 [2] https://wiki.php.net/rfc/randomizer_additions Best regards Tim Düsterhus