phptools
The language server itself runs in the Worker' process. It seems vscode.dev/github.dev (by Microsoft) supports Workers, code-server doesn't.
1/ the "web" version is language server in the Worker' process. Tested on vscode.dev and github.dev.
2/ language server runs in Worker
, Support for workers (aka background javascript process) is required to make it working.
3/ we've targeted the "web" extension to work on vscode.dev complying with the API specification. If code-server does not support Worker, I'm afraid we can't workaround it.