How do you set target_php_version

TysonAndre / vscode-php-phan

Phan - PHP Static Analysis for VS Code

Other

24 stars 4 forks source link

Closed Petah closed 4 years ago

Petah commented 4 years ago

How do you set target_php_version for this extension?

Petah commented 4 years ago

I found how to do it in NEWS.md

    "phan.additionalCLIFlags": [
        "--target-php-version=7.4"
    ],

Might be worth documenting it though.