Skip to content

Conversation

@localheinz
Copy link
Contributor

@localheinz localheinz commented Jun 17, 2022

This pull request

  • adds a basic .editorconfig

Follows #541 (comment).

πŸ’β€β™‚οΈ For reference, see https://editorconfig.org.

@localheinz
Copy link
Contributor Author

Are there any objections to merging this pull request?

@cmb69
Copy link
Member

cmb69 commented Jun 27, 2022

This looks pretty uncontroversial, and we use .editorconfig already in several other php repositories, so I'm going to merge. Thanks for the PR!

@cmb69 cmb69 merged commit 51b196d into php:master Jun 27, 2022
@localheinz localheinz deleted the feature/editorconfig branch June 27, 2022 17:33
@localheinz
Copy link
Contributor Author

Thank you, @cmb69!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants