psalm: use separate langserver config
Signed-off-by: Varun Patil <radialapps@gmail.com>pull/877/head
parent
351515ea18
commit
ba4c055fea
|
@ -98,4 +98,7 @@
|
|||
},
|
||||
"git.alwaysSignOff": true,
|
||||
"editor.formatOnSave": true,
|
||||
"psalm.configPaths": [
|
||||
"psalm-ls.xml"
|
||||
],
|
||||
}
|
|
@ -0,0 +1,40 @@
|
|||
<?xml version="1.0"?>
|
||||
<psalm
|
||||
totallyTyped="true"
|
||||
errorLevel="5"
|
||||
resolveFromConfigFile="true"
|
||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xmlns="https://getpsalm.org/schema/config"
|
||||
xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
|
||||
cacheDirectory=".cache/psalm"
|
||||
>
|
||||
<!--
|
||||
Duplication is due to differences in language server and CLI
|
||||
The CLI needs the files in extraFiles since we specify lib as
|
||||
the scan directory. The language server needs the files in
|
||||
projectFiles since it doesn't seem to support extraFiles.
|
||||
-->
|
||||
<projectFiles>
|
||||
<directory name="lib" />
|
||||
<directory name="../../lib" />
|
||||
<directory name="../../apps/files/lib/Event" />
|
||||
<directory name="../../3rdparty/doctrine" />
|
||||
<directory name="../../3rdparty/psr" />
|
||||
<directory name="../../3rdparty/guzzlehttp" />
|
||||
|
||||
<ignoreFiles>
|
||||
<directory name="vendor" />
|
||||
</ignoreFiles>
|
||||
</projectFiles>
|
||||
<issueHandlers>
|
||||
<UndefinedDocblockClass>
|
||||
<errorLevel type="suppress">
|
||||
<referencedClass name="Doctrine\DBAL\Schema\Schema" />
|
||||
<referencedClass name="Doctrine\DBAL\Schema\SchemaException" />
|
||||
<referencedClass name="Doctrine\DBAL\Driver\Statement" />
|
||||
<referencedClass name="Doctrine\DBAL\Schema\Table" />
|
||||
<referencedClass name="Doctrine\DBAL\Platforms\AbstractPlatform" />
|
||||
</errorLevel>
|
||||
</UndefinedDocblockClass>
|
||||
</issueHandlers>
|
||||
</psalm>
|
17
psalm.xml
17
psalm.xml
|
@ -8,23 +8,14 @@
|
|||
xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
|
||||
cacheDirectory=".cache/psalm"
|
||||
>
|
||||
<!-- The language server works slightly differently and has a different file -->
|
||||
<projectFiles>
|
||||
<directory name="lib" />
|
||||
|
||||
<!--
|
||||
Duplication is due to differences in language server and CLI
|
||||
The CLI needs the files in extraFiles since we specify lib as
|
||||
the scan directory. The language server needs the files in
|
||||
projectFiles since it doesn't seem to support extraFiles.
|
||||
-->
|
||||
<directory name="../../lib" />
|
||||
<directory name="../../apps/files/lib/Event" />
|
||||
<directory name="../../3rdparty/doctrine" />
|
||||
<directory name="../../3rdparty/psr" />
|
||||
<directory name="../../3rdparty/guzzlehttp" />
|
||||
|
||||
<ignoreFiles>
|
||||
<directory name="vendor" />
|
||||
<directory name="../../lib" />
|
||||
<directory name="../../apps/files" />
|
||||
<directory name="../../3rdparty" />
|
||||
</ignoreFiles>
|
||||
</projectFiles>
|
||||
<extraFiles>
|
||||
|
|
Loading…
Reference in New Issue