diff options
Diffstat (limited to 'ext/pcntl/pcntl.stub.php')
| -rw-r--r-- | ext/pcntl/pcntl.stub.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ext/pcntl/pcntl.stub.php b/ext/pcntl/pcntl.stub.php index 82bac57316..60e9c98a7f 100644 --- a/ext/pcntl/pcntl.stub.php +++ b/ext/pcntl/pcntl.stub.php @@ -1,5 +1,7 @@ <?php +/** @generate-function-entries */ + function pcntl_fork(): int {} function pcntl_waitpid(int $pid, &$status, int $options = 0, &$rusage = []): int {} @@ -38,7 +40,7 @@ function pcntl_wifcontinued(int $status): bool {} function pcntl_wifsignaled(int $status): bool {} -function pcntl_wifexitstatus(int $status): int|false {} +function pcntl_wexitstatus(int $status): int|false {} function pcntl_wtermsig(int $status): int|false {} |
