Skip to content

ext/standard: mark ext/random as a required dependency of ext/standard#21130

Merged
Girgias merged 1 commit intophp:masterfrom
Girgias:ext-standard-random-required
Feb 5, 2026
Merged

ext/standard: mark ext/random as a required dependency of ext/standard#21130
Girgias merged 1 commit intophp:masterfrom
Girgias:ext-standard-random-required

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