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

Enhancement: Add `Php53` rule set #786

Merged

localheinz merged 1 commit into main from feature/php53

May 17, 2023

Member

localheinz commented May 17, 2023

This pull request

adds a Php53 rule set

Fixes #781.

localheinz self-assigned this

localheinz requested a review from ergebnis-bot as a code owner

May 17, 2023 13:11

ergebnis-bot added the enhancement label


          Enhancement: Add Php53 rule set

a393f2f

localheinz force-pushed the feature/php53 branch from 2ca9d92 to a393f2f Compare

May 17, 2023 13:15

localheinz merged commit 3317af7 into main

16 checks passed

localheinz deleted the feature/php53 branch

May 17, 2023 13:15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment