gmp_random_seed

  • (PHP 7)
  • Sets the RNG seed