Skip to content

Document the resource_usage param for pcntl_waitid - #3854

Merged
devnexen merged 2 commits into
php:masterfrom
vrza:pcntl-waitid-rusage
Sep 1, 2025
Merged

Document the resource_usage param for pcntl_waitid#3854
devnexen merged 2 commits into
php:masterfrom
vrza:pcntl-waitid-rusage

Conversation

@vrza

@vrzavrza commented Oct 10, 2024

Copy link
Copy Markdown
Contributor

Companion PR to php/php-src#15921

@vrza
vrzaforce-pushed the pcntl-waitid-rusage branch from 17c9cf6 to 2b69181CompareOctober 10, 2024 16:06
@GirgiasGirgias added this to the PHP 8.5 milestone Oct 13, 2024
@vrza

vrza commented Jun 25, 2025

Copy link
Copy Markdown
ContributorAuthor

@Girgias@devnexen Associated PR #15921 has been merged, so we should get this companion change to the docs in as well.

@vrza

vrza commented Aug 19, 2025

Copy link
Copy Markdown
ContributorAuthor

Bumping this so that it's not forgotten @devnexen@Girgias

@devnexendevnexen left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

lgtm but I ll wait 1/2 weeks max for Gina to review.

@devnexen
devnexen merged commit 8e31067 into php:masterSep 1, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@vrza@devnexen@Girgias