byjg 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?
JakubMisek I agree; if it's a manner of publishing the .vsix extension file(s) on other catalogs, we'll do it. We have not tested running the extension on the cloud properly yet tho.
JakubMisek 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
JakubMisek releasing now ... please try the pre-release v1.18 on https://open-vsx.org/extension/devsense/phptools-vscode
