Fix pre-PHP 8.2 compatibility for php_mt_rand_range() with MT_RAND_PHP#9839
Merged
TimWolla merged 3 commits intophp:PHP-8.2from Oct 28, 2022
Merged
Fix pre-PHP 8.2 compatibility for php_mt_rand_range() with MT_RAND_PHP#9839TimWolla merged 3 commits intophp:PHP-8.2from
TimWolla merged 3 commits intophp:PHP-8.2from
