diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-10 10:28:42 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-10 10:28:42 +0100 |
| commit | 7dee9da0f27c31226a746377ba7f0bda15e70281 (patch) | |
| tree | da7d83923c2368d90c3f0142d62876dbfa839630 /doc | |
| parent | 2dcd2ee4dab087c0152a2e73b3a8512360be24f1 (diff) | |
| download | ale-7dee9da0f27c31226a746377ba7f0bda15e70281.zip | |
Fix documentation for the PHP langserver options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-php.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/ale-php.txt b/doc/ale-php.txt index c8874106..66859888 100644 --- a/doc/ale-php.txt +++ b/doc/ale-php.txt @@ -11,25 +11,25 @@ There are no options for this linter. =============================================================================== langserver *ale-php-langserver* -g:php_langserver_executable *g:php_langserver_executable* - *b:php_langserver_executable* +g:ale_php_langserver_executable *g:ale_php_langserver_executable* + *b:ale_php_langserver_executable* Type: |String| Default: `'php-language-server.php'` The variable can be set to configure the executable that will be used for running the PHP language server. `vendor` directory executables will be - preferred instead of this setting if |g:php_langserver_use_global| is `0`. + preferred instead of this setting if |g:ale_php_langserver_use_global| is `0`. See: |ale-integrations-local-executables| -g:php_langserver_use_global *g:php_langserver_use_global* - *b:php_langserver_use_global* +g:ale_php_langserver_use_global *g:ale_php_langserver_use_global* + *b:ale_php_langserver_use_global* Type: |Number| Default: `0` This variable can be set to `1` to force the language server to be run with - the executable set for |g:php_langserver_executable|. + the executable set for |g:ale_php_langserver_executable|. See: |ale-integrations-local-executables| |