#517 Enable the PHP language server
This commit is contained in:
parent
db531171ac
commit
1356cf8e01
@ -1,9 +1,6 @@
|
|||||||
" Author: Eric Stern <eric@ericstern.com>
|
" Author: Eric Stern <eric@ericstern.com>
|
||||||
" Description: PHP Language server integration for ALE
|
" 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_executable', 'php-language-server.php')
|
||||||
call ale#Set('php_langserver_config_path', '')
|
call ale#Set('php_langserver_config_path', '')
|
||||||
call ale#Set('php_langserver_use_global', 0)
|
call ale#Set('php_langserver_use_global', 0)
|
||||||
|
Loading…
Reference in New Issue
Block a user