Thanks to Visual Studio Code Opensource Server, several projects are creating their services to have an IDE on the cloud. However, some of them cannot install the PHP Tools because it isn't added to the OpenVSX repository (https://open-vsx.org/?search=php%20tools&category=&sortBy=relevance&sortOrder=desc). Is it possible the DevSense PHP Tools there?
I agree; if it's a manner of publishing the .vsix extension file(s) on other catalogs, we'll do it.
.vsix
We have not tested running the extension on the cloud properly yet tho.
we have published the web extension on open-vsx already (https://open-vsx.org/extension/devsense/phptools-vscode)
preparing the full release now - we were waiting for this issue to be closed https://github.com/eclipse/openvsx/issues/503#issuecomment-1260874701
releasing now ... please try the pre-release v1.18 on https://open-vsx.org/extension/devsense/phptools-vscode