Closed
Description
Is there an existing issue for this?
- I have searched the existing issues
OS/Web Information
- Web Browser: Chrome
- Local OS: Windows 10
- Remote OS: Ubunu
- Remote Architecture: amd64
code-server --version
: 4.9.0 0502dfa with Code 1.73.1
Steps to Reproduce
- Installed PHP Tools extension by devsense.com https://open-vsx.org/api/devsense/phptools-vscode/web/1.25.11540/file/[email protected]
- Extension is unable to run in code-server
- Error given is
Error: Creating workers from remote extensions is currently not supported.
Expected
PHP Tools extension should be able to install and run as it works in vscode.dev and github.dev
Actual
- Extension is unable to run in code-server
- Error given is
Error: Creating workers from remote extensions is currently not supported.
Logs
No response
Screenshot/Video
Does this issue happen in VS Code or GitHub Codespaces?
- I cannot reproduce this in VS Code.
- I cannot reproduce this in GitHub Codespaces.
Are you accessing code-server over HTTPS?
- I am using HTTPS.
Notes
No response