diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-10-29 17:21:01 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-29 17:21:01 +0000 |
commit | e259dd525f94576ff40f7ee6a0605229e37506e3 (patch) | |
tree | 392f68193f82e08b45c1b0bf384c480af4a7beff /doc/ale-php.txt | |
parent | 9a0b604a992730889bcac660db8710f336505262 (diff) | |
parent | 95b8689835d4d9efca8a513599bcd3d83542c6bd (diff) | |
download | ale-e259dd525f94576ff40f7ee6a0605229e37506e3.zip |
Merge pull request #2819 from greg0ire/psalm_extra_options
Add the possiblity to add extra psalm options
Diffstat (limited to 'doc/ale-php.txt')
-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 e17e1023..645decd7 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* |