Feature request
As a Pro user (under Windows) who does not have direct access to the Internet, and has to communicate via a proxy, I keep having the problem that the download does not work.
Could not download the PHPStan Pro executable: Connection to tls://fixer-download-api.phpstan.com:443 timed out after 5 seconds (ETIMEDOUT) Try different DNS servers in your configuration file:
parameters:
pro:
dnsServers!:
- '8.8.8.8'
Please give us a option to define a http-proxy for downloading the PHPStan Pro executable.
Did PHPStan help you today? Did it make you happy in any way?
No response
Feature request
As a Pro user (under Windows) who does not have direct access to the Internet, and has to communicate via a proxy, I keep having the problem that the download does not work.
Please give us a option to define a http-proxy for downloading the PHPStan Pro executable.
Did PHPStan help you today? Did it make you happy in any way?
No response