Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remove PHP 7.2 polyfill #6115

Merged
merged 1 commit into from
Nov 26, 2021
Merged

Remove PHP 7.2 polyfill #6115

merged 1 commit into from
Nov 26, 2021

Conversation

derrabus
Copy link
Contributor

Because the minimum PHP version has been bumped to 7.2, we don't need to polyfill functions anymore that have been introduced with PHP 7.2.

@derrabus derrabus mentioned this pull request Nov 16, 2021
Merged
@coveralls
Copy link

Coverage Status

Coverage remained the same at 92.853% when pulling 02c1bc5 on derrabus:patch-1 into 07430f5 on FriendsOfPHP:master.

@SpacePossum SpacePossum added the RTM Ready To Merge label Nov 18, 2021
@SpacePossum
Copy link
Contributor

Thank you @derrabus.

@SpacePossum SpacePossum merged commit b621e0e into PHP-CS-Fixer:master Nov 26, 2021
@SpacePossum SpacePossum added kind/cleanup RTM Ready To Merge and removed RTM Ready To Merge labels Nov 26, 2021
@derrabus derrabus deleted the patch-1 branch November 26, 2021 21:20
@keradus keradus removed the RTM Ready To Merge label Dec 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@julienfalque julienfalque julienfalque approved these changes

@SpacePossum SpacePossum SpacePossum approved these changes

Assignees
No one assigned
Labels
kind/cleanup
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@derrabus @coveralls @SpacePossum @julienfalque @keradus