mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
Added PHPAPI php_drand, which returns a double in the range [0,1) RAND_REDESIGN completed, prohibited some minor points. Ready to be re-entered in MAIN branch