search

DEVSENSE / phptools-docs

PHP Tools public content
Apache License 2.0
75 stars 9 forks source link

Provide standalone language server #543

Open shyim opened 2 months ago

shyim commented 2 months ago

I want to use the PHP language server with another editor like https://zed.dev/ . It would be nice if there were some kind of place where the language server can be downloaded standalone.

jakubmisek commented 2 months ago

Thank you for the question.

We are discussing this option (technically) in our team. It is something we would like to provide.

Currently, the language server relies heavily on VSCode API and the .js extension adapter we have made. We're continuously cleaning things up and preparing them so the LS can run, eventually, separately in another IDE.