Skip to content

Conversation

TimWolla
Copy link
Member

@TimWolla TimWolla commented Jan 9, 2024

When ext/random was initially added in PHP 8.2, these headers started “forwarding” to the new ext/random/php_random.h to reduce the impact on existing extensions.

As master already contains some breaking changes of the internal API of ext/random and as the last PHP version without ext/random will be EOL once master is released, it appears appropriate to drop these headers now.


see also: #8094 (comment)

Copy link
Member

@Girgias Girgias left a comment

Choose a reason for hiding this comment

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

LGTM

When ext/random was initially added in PHP 8.2, these headers started
“forwarding” to the new ext/random/php_random.h to reduce the impact on
existing extensions.

As master already contains some breaking changes of the internal API of
ext/random and as the last PHP version without ext/random will be EOL once
master is released, it appears appropriate to drop these headers now.
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