[%pS migration] Use %pS in ext/random - #23167

[%pS migration] Use %pS in ext/random#23167

DanielEScherzer wants to merge 1 commit into

php:masterphp/php-src:masterfrom

DanielEScherzer:ps-migration-ext-randomDanielEScherzer/php-src:ps-migration-ext-randomCopy head branch name to clipboard