-
-
Notifications
You must be signed in to change notification settings - Fork 1.7k
Rename .php_cs to .php_cs.dist as a best practise #544
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
Conversation
@@ -1,4 +1,3 @@ | |||
#!/usr/bin/env php |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This line helps IDEs with autocompletion since the .php_cs.dist
filename doesn't have .php
extension
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I had this issue too with PhpStorm but I was able to force the language syntax by using "Associate with file Type" action. Any thought ?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Since this script isn't executable - makes sense to remove this line 👍
@B-Galati thanks for this contribution! However, I'm not entirely sure this is the right thing to do for this project. The Do you agree that in this case and for this project, the |
@javiereguiluz I agree that we should force the rules we have before merging new PRs. But I'm OK with |
@javiereguiluz I totally agree with @bocharsky-bw. As long as the CI is enforcing mandatory rules, there is no harm to allow for more flexibility to my point of view. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't like this ... but I'm going to merge it because it's coherent with the other .dist
files that we use in Symfony. Thanks @B-Galati.
…Galati) This PR was merged into the master branch. Discussion ---------- Rename .php_cs to .php_cs.dist as a best practise Hello, Everything is in the title. I also removed the shebang because it looked useless, let me know if I am wrong :-) Commits ------- ddbd632 Rename .php_cs to .php_cs.dist as a best practise
@javiereguiluz Thanks ! |
Hello,
Everything is in the title.
I also removed the shebang because it looked useless, let me know if I am wrong :-)