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.
