rfc:rng_extension

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
rfc:rng_extension [2022/07/22 09:39] – fix Unicode (non-ASCII) characters (double underscore, space, double-quote) + minor improvements guilliamxavierrfc:rng_extension [2022/08/01 16:52] (current) – Errata timwolla
Line 588: Line 588:
   * https://github.com/php/php-src/pull/8094   * https://github.com/php/php-src/pull/8094
  
 +===== Errata =====
 +
 +==== Follow Up RFC: Random Extension Improvement ====
 +
 +The [[rfc:random_extension_improvement|Random Extension Improvement]] follow-up RFC made several adjustments before the initial implementation was merged. 
 +
 +==== Split of Randomizer::getInt() into ::getInt() and ::nextInt() ====
 +
 +The parameter-less variant of <php>Randomizer::getInt()</php> was split into <php>Randomizer::nextInt()</php>. See pull request GH-9057: https://github.com/php/php-src/pull/9057
rfc/rng_extension.txt · Last modified: 2022/08/01 16:52 by timwolla