Skip to content

Conversation

@petk
Copy link
Member

@petk petk commented Jul 28, 2024

The 3rd argument of the PHP_NEW_EXTENSION can be "shared" or "yes" to mark the extension as shared, or anything else to mark that extension as not shared. This syncs the argument values across the build system to be "no" as in other always-enabled extensions.

The 3rd argument of the PHP_NEW_EXTENSION can be "shared" or "yes" to
mark the extension as shared, or anything else to mark that extension as
not shared. This syncs the argument values across the build system to be
"no" as in other always-enabled extensions.
@petk petk force-pushed the patch-PHP_NEW_EXTENSION-no branch from f5c4122 to 4f62368 Compare July 29, 2024 08:12
@petk petk merged commit 7d92707 into php:master Jul 29, 2024
@petk
Copy link
Member Author

petk commented Jul 29, 2024

Merging this because the schedule is very tight here. Cheers.

@petk petk deleted the patch-PHP_NEW_EXTENSION-no branch July 29, 2024 08:12
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.

1 participant