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.

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

Fix PHP_CS error #2710

Merged
merged 1 commit into from Sep 20, 2023
Merged

Fix PHP_CS error #2710

merged 1 commit into from Sep 20, 2023

Conversation

yubiuser
Copy link
Member

What does this PR aim to accomplish?:

Fix a PHP_CS error first reported in #2709


By submitting this pull request, I confirm the following:

  1. I have read and understood the contributors guide, as well as this entire template. I understand which branch to base my commits and Pull Requests against.
  2. I have commented my proposed changes within the code and I have tested my changes.
  3. I am willing to help maintain this change if there are issues with it later.
  4. It is compatible with the EUPL 1.2 license
  5. I have squashed any insignificant commits. (git rebase)
  6. I have checked that another pull request for this purpose does not exist.
  7. I have considered, and confirmed that this submission will be valuable to others.
  8. I accept that this submission may not be used, and the pull request closed at the will of the maintainer.
  9. I give this submission freely, and claim no ownership to its content.

  • I have read the above and my PR is ready for review. Check this box to confirm

Signed-off-by: Christian König <ckoenig@posteo.de>
@yubiuser yubiuser requested a review from a team September 20, 2023 11:42
@yubiuser yubiuser added the PR: Approval Required Open Pull Request, needs approval label Sep 20, 2023
@yubiuser yubiuser merged commit a690041 into devel Sep 20, 2023
13 checks passed
@yubiuser yubiuser deleted the php_cd branch September 20, 2023 18:17
@PromoFaux PromoFaux mentioned this pull request Oct 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: Approval Required Open Pull Request, needs approval
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants