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

Add extension .phar to installed tools #439

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Aeliot-Tm
Copy link

PHPStorm don't understand content of PHAR file and cannot autocomplete when tool installed via link and without extension. Currently, we have to do it manually. So, this update should help to solve this issue.

image

@theseer
Copy link
Member

theseer commented Oct 27, 2024

It's actually very much intentional we drop the extension. And one of the reaons is exactly that PHPStorm does NOT "see" them. Because you exactly do NOT want to have autocomplete for code that just happens to be used by your tools.

I see that there is at least one valid edge case: PHPUnit, which happens to be a tool as well as a framework for which you'd want autocomplete when writing tests. But then again, you do NOT want auto complete for all of PHPUnit but only the relevant framework components.

Thanks for providing this PR though anyway. I have to think about this change. It feels like the wrong solution to the problem.

@Aeliot-Tm
Copy link
Author

On my point of view, it is useful not only for PHPUnit, but for all scripts which works with configs in php-files.

@Aeliot-Tm Aeliot-Tm force-pushed the add-exteension-to-installed-tools branch from 1a20241 to f8b1ab5 Compare October 29, 2024 16:08
@Aeliot-Tm Aeliot-Tm force-pushed the add-exteension-to-installed-tools branch from f8b1ab5 to 7ce133c Compare October 29, 2024 16:12
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