Skip to content

Fix gen_stub.php errors #14335

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 27, 2024
Merged

Fix gen_stub.php errors #14335

merged 1 commit into from
May 27, 2024

Conversation

vudaltsov
Copy link
Contributor

I've noticed that gen_stub.php throws from time to time (see https://app.travis-ci.com/github/php/php-src/builds/270649670#L2166). Here's the fix.

@kocsismate
Copy link
Member

Thank you very much for the fixes!

@kocsismate kocsismate merged commit be19e79 into php:master May 27, 2024
10 checks passed
@iluuu1994
Copy link
Member

I looked at this error a while ago, and it happens when running the script with an old version of PHP (<8.0):
https://3v4l.org/qIDLA

So, I think if this error is fixed, we should probably do so for lower branches (as the chance of running the script with an older version seems higher there).

@kocsismate
Copy link
Member

OK, I'll port them to the lower branches!

kocsismate pushed a commit that referenced this pull request May 27, 2024
kocsismate added a commit that referenced this pull request May 27, 2024
* PHP-8.2:
  Fix gen_stub.php errors (#14335)
kocsismate added a commit that referenced this pull request May 27, 2024
* PHP-8.3:
  Fix gen_stub.php errors (#14335)
@kocsismate
Copy link
Member

Done

@iluuu1994
Copy link
Member

Thanks :)

@vudaltsov vudaltsov deleted the fix-gen-stub branch May 28, 2024 17:16
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