diff options
author | Grégoire Paris <postmaster@greg0ire.fr> | 2019-07-25 23:01:53 +0200 |
---|---|---|
committer | Grégoire Paris <postmaster@greg0ire.fr> | 2019-10-07 23:15:01 +0200 |
commit | 95b8689835d4d9efca8a513599bcd3d83542c6bd (patch) | |
tree | 61dc7981626f9d1c96ce87583c30c97dd04b292c /doc | |
parent | f9322113095ac01c00d4c38da6aca715663e35cf (diff) | |
download | ale-95b8689835d4d9efca8a513599bcd3d83542c6bd.zip |
Add the possiblity to add extra psalm options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale-php.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ale-php.txt b/doc/ale-php.txt index d41fb50d..c415c086 100644 --- a/doc/ale-php.txt +++ b/doc/ale-php.txt @@ -189,6 +189,13 @@ g:ale_php_psalm_executable *g:ale_php_psalm_executable* This variable sets the executable used for psalm. +g:ale_psalm_langserver_options *g:ale_psalm_langserver_options* + *b:ale_psalm_langserver_options* + Type: |String| + Default: `''` + + This variable can be set to pass additional options to psalm. + =============================================================================== php-cs-fixer *ale-php-php-cs-fixer* |