uuf6429 / jetbrains-php-version-switcher

PHP Version Switcher Plugin for PhpStorm/IDEA
MIT License
0 stars 0 forks source link

Project-level setting to disable plugin #3

Closed uuf6429 closed 3 months ago

uuf6429 commented 3 months ago

In some cases it might not be desirable to automatically change the PHP version. We should be able to respect the users' wishes with such an option. Additionally, the panel for the option might also show some useful info.