Retrieve language level from php file

uuf6429 / jetbrains-php-version-switcher

PHP Version Switcher Plugin for PhpStorm/IDEA

MIT License

0 stars 0 forks source link

Retrieve language level from php file #5

Open uuf6429 opened 3 months ago

uuf6429 commented 3 months ago

For the ultimate flexibility, we should be able to retrieve the language level from the currently open file via specially-crafted top-level (phpdoc)comments.