インストールはcomposerを使うほうが良さそう。phpstan-extentionsが使えるので。
設定ファイルはphpstan.neon, phpstan.neon.distの順で使われる。
設定ファイルには最低限静的解析の対象となるディレクトリを設定するpathと、解析ルールの厳しさを設定するlevelを設定する必要がある
すぐにエラーを解消できないけど厳しい設定で開発をしたい時は--generate-baselineでエラーを無視する設定を含むファイルを生成して、phpstan.neonにimportする
VSCodeとPHPStanの相性は今のところ良くなさそう…