[RFC] Random Extension 5.x + Random Extension Improvement#8094

zeriyoshi wants to merge 1 commit intophp:masterphp/php-src:masterfrom

colopl:upstream_rfc/scoped_rng_for_prcolopl/php-src:upstream_rfc/scoped_rng_for_prCopy head branch name to clipboard