diff options
Diffstat (limited to 'ext/pcntl/pcntl.stub.php')
| -rw-r--r-- | ext/pcntl/pcntl.stub.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/pcntl/pcntl.stub.php b/ext/pcntl/pcntl.stub.php index 7ca872663a..c8da88c481 100644 --- a/ext/pcntl/pcntl.stub.php +++ b/ext/pcntl/pcntl.stub.php @@ -50,6 +50,8 @@ function pcntl_alarm(int $seconds): int {} function pcntl_get_last_error(): int {} +function pcntl_errno(): int {} + #ifdef HAVE_GETPRIORITY function pcntl_getpriority(int $pid = UNKNOWN, int $process_identifier = PRIO_PROCESS): int|false {} #endif |
