I could not install PHP tools when running in https://github.com/coder/code-server
Others such as PHP Debug was able to install.
Can take a look? Thank you.
Is it running in the browser? For that, we have the "web" extension.
Otherwise, may I ask for any errors/warnings you're getting?
Yes, in browser. What is this web extension you refer to?
This is the error I get
Ok, so this is downloading the extension from open-vsx (https://open-vsx.org/extension/devsense/phptools-vscode, not the official Microsoft marketplace)
And it seems, there are some issues with open-vsx implementation, not showing the "web" versions of extensions ... we've contacted the support on open-vsx and waiting for the answer
Did they get back? Thanks!
The latest update of openvsx (https://github.com/eclipse/openvsx/pull/596 and https://github.com/eclipse/openvsx/issues/575#issuecomment-1313918006) gets "web" extensions back to the extension page:
You can try again, if it resolves your issue.
this is what I see, how do I get to your screen or choose "web"?
Composer and PHP Profiler were both able to install on the code-server, but not PHP Tools or more specifically, PHP.
phptools thanks - ok, where can I try it? (honestly I haven't tried code-server yet, is there a quick start how to run it?)
curl -fsSL https://code-server.dev/install.sh | sh this will install and run it
curl -fsSL https://code-server.dev/install.sh | sh
Then it will display the password and the link should be http://127.0.0.1:8080
For PHP Profile and Composer, the install option is for the domain, whereas PHP Tools is only Install Locally