diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-02 19:43:53 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-02 19:44:00 +0100 |
| commit | 1356cf8e01c307ea9ad54677059dbf3aed52426d (patch) | |
| tree | 8f77d03716ef3b25ce1cf37c784b9baa5a2674fc /ale_linters/php | |
| parent | db531171acd9064f91a4f8d6c31d8037ee01e8c5 (diff) | |
| download | ale-1356cf8e01c307ea9ad54677059dbf3aed52426d.zip | |
#517 Enable the PHP language server
Diffstat (limited to 'ale_linters/php')
| -rw-r--r-- | ale_linters/php/langserver.vim | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ale_linters/php/langserver.vim b/ale_linters/php/langserver.vim index 29545542..d82cd63b 100644 --- a/ale_linters/php/langserver.vim +++ b/ale_linters/php/langserver.vim @@ -1,9 +1,6 @@ " Author: Eric Stern <eric@ericstern.com> " Description: PHP Language server integration for ALE -" This linter is disabled for now. -finish - call ale#Set('php_langserver_executable', 'php-language-server.php') call ale#Set('php_langserver_config_path', '') call ale#Set('php_langserver_use_global', 0) |