php/php-src — pull request #877 by lt (2014-10-19 16:31:25+00:00)
Title: gmp_random_seed

Following on from the discussion in [PR 839](https://github.com/php/php-src/pull/839), as support for older GMP versions is dropped in master, we can reliably seed the RNG with predictable results.