From 95b8689835d4d9efca8a513599bcd3d83542c6bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Paris?= Date: Thu, 25 Jul 2019 23:01:53 +0200 Subject: Add the possiblity to add extra psalm options --- doc/ale-php.txt | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'doc') 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* -- cgit v1.2.3