From ba4c055fea8cb65492b2c2ee0ddc9f673c26ef30 Mon Sep 17 00:00:00 2001 From: Varun Patil Date: Sat, 14 Oct 2023 12:56:31 -0700 Subject: [PATCH] psalm: use separate langserver config Signed-off-by: Varun Patil --- .vscode/settings.json | 3 +++ psalm-ls.xml | 40 ++++++++++++++++++++++++++++++++++++++++ psalm.xml | 17 ++++------------- 3 files changed, 47 insertions(+), 13 deletions(-) create mode 100644 psalm-ls.xml diff --git a/.vscode/settings.json b/.vscode/settings.json index 267fa74a..7abca2a5 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -98,4 +98,7 @@ }, "git.alwaysSignOff": true, "editor.formatOnSave": true, + "psalm.configPaths": [ + "psalm-ls.xml" + ], } \ No newline at end of file diff --git a/psalm-ls.xml b/psalm-ls.xml new file mode 100644 index 00000000..eb9f6a8b --- /dev/null +++ b/psalm-ls.xml @@ -0,0 +1,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/psalm.xml b/psalm.xml index a2895d81..5cd61c32 100644 --- a/psalm.xml +++ b/psalm.xml @@ -8,23 +8,14 @@ xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" cacheDirectory=".cache/psalm" > + - - - - - - - - + + +