Skip to content

Conversation

@Girgias
Copy link
Member

@Girgias Girgias commented Feb 4, 2026

As the shuffle() and array_rand() functions use part of the Random API

As the shuffle() and array_rand() functions use part of the Random API
@Girgias Girgias force-pushed the ext-standard-random-required branch from 33b456d to 195d051 Compare February 4, 2026 16:46
@Girgias Girgias marked this pull request as ready for review February 4, 2026 17:50
Copy link
Member

@DanielEScherzer DanielEScherzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

okay for ext/reflection

@Girgias Girgias merged commit 542175e into php:master Feb 5, 2026
10 checks passed
@Girgias Girgias deleted the ext-standard-random-required branch February 5, 2026 16:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants