Re: [VOTE] Random Extension Improvement

2022年7月3日(日) 12:00 Go Kudo <g-kudo@colopl.co.jp>: > Hello internals. > > Voting began on 2022-07-02 03:00:00 (UTC) and will end on 2022-07-16 > 03:00:00 (UTC). > > https://wiki.php.net/rfc/random_extension_improvement > > Best Regards, > Go Kudo > Hi Voting was closed and all proposals were accepted. https://wiki.php.net/rfc/random_extension_improvement https://github.com/php/php-src/pull/8094 However, as pointed out in the PR, there are still areas that need to be improved and corrected. First of all, overloading of getInt() should be stopped. This is due to the fact that the signature of the mt_rand() function is still used, but it was pointed out that no new implementation should be made. https://github.com/php/php-src/pull/8094/files#r919693108 Second, there is an issue regarding the handling of header files for compatibility. This was left in because it was considered necessary in previous discussions, but it has been suggested that it is unnecessary. I too would like to remove it if possible. https://github.com/php/php-src/pull/8094/files#r917308676 However, if you try to make this change by creating an RFC as usual, you are already out of time. I am really confused and don't really know what to do about this. Can anyone give me some good ideas? Best Regards, Go Kudo