Skip to content

Enhancement: Require and use PHP 8.2 #847

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 2 commits into from
Dec 5, 2023
Merged

Conversation

localheinz
Copy link
Contributor

This pull request

  • requires and uses PHP 8.2

πŸ’β€β™‚οΈ According to @pronskiy, the website currently runs on PHP 8.2.

@localheinz localheinz changed the title Fix: Require and use PHP 8.2 Enhancement: Require and use PHP 8.2 Nov 29, 2023
Comment on lines +54 to +55
env:
PHP_CS_FIXER_IGNORE_ENV: "1"
Copy link
Contributor Author

@localheinz localheinz Nov 29, 2023

Choose a reason for hiding this comment

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

We can update friendsofphp/php-cs-fixer in a separate pull request.

For reference, see https://github.com/php/web-php/actions/runs/7031918087/job/19134541998#step:9:12.

@derickr
Copy link
Member

derickr commented Nov 29, 2023

How do we know whether the code can actually run with 8.2 without issues? It's not like we have tests for most of the site.

@derickr derickr removed their assignment Nov 29, 2023
@localheinz
Copy link
Contributor Author

@derickr

Which version does the website currently use in production?

See https://twitter.com/pronskiy/status/1729819209553641860:

CleanShot 2023-11-29 at 17 33 51@2x

@saundefined
Copy link
Member

Hm.. I'm assuming it's already 8.2 in the production host now, isn't it?

https://externals.io/message/121678

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