vscode-extensions.devsense.*: drop (#427186)

This commit is contained in:
Pol Dellaiera
2025-07-22 08:10:16 +02:00
committed by GitHub
@@ -1343,96 +1343,6 @@ let
detachhead.basedpyright = callPackage ./detachhead.basedpyright { };
devsense.composer-php-vscode = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "composer-php-vscode";
publisher = "devsense";
version = "1.59.17515";
hash = "sha256-unqWaEtShJHqol0tV4ocb0nI81rWFQuv/W1i+2zMeZM=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.composer-php-vscode/changelog";
description = "Visual studio code extension for full development integration for Composer, the PHP package manager";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=DEVSENSE.composer-php-vscode";
homepage = "https://github.com/DEVSENSE/phptools-docs";
license = lib.licenses.unfree;
maintainers = [ ];
};
};
devsense.phptools-vscode = buildVscodeMarketplaceExtension {
mktplcRef =
let
sources = {
"x86_64-linux" = {
arch = "linux-x64";
hash = "sha256-8i5nRlzd+LnpEh9trWECxfiC1W4S0ekBab5vo18OlsA=";
};
"x86_64-darwin" = {
arch = "darwin-x64";
sha256 = "14crw56277rdwhigabb3nsndkfcs3yzzf7gw85jvryxviq32chgy";
};
"aarch64-linux" = {
arch = "linux-arm64";
sha256 = "1j1xlvbg3nrfmdd9zm6kywwicdwdkrq0si86lcndaii8m7sj5pfp";
};
"aarch64-darwin" = {
arch = "darwin-arm64";
sha256 = "0nlks6iqxkx1xlicsa8lrb1319rgznlxkv2gg7wkwgzph97ik8bi";
};
};
in
{
name = "phptools-vscode";
publisher = "devsense";
version = "1.41.14332";
}
// sources.${stdenv.system} or (throw "Unsupported system: ${stdenv.system}");
nativeBuildInputs = [ autoPatchelfHook ];
buildInputs = [
zlib
(lib.getLib stdenv.cc.cc)
];
postInstall = ''
chmod +x $out/share/vscode/extensions/devsense.phptools-vscode/out/server/devsense.php.ls
'';
meta = {
changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.phptools-vscode/changelog";
description = "Visual studio code extension for full development integration for the PHP language";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=DEVSENSE.phptools-vscode";
homepage = "https://github.com/DEVSENSE/phptools-docs";
license = lib.licenses.unfree;
maintainers = [ ];
platforms = [
"x86_64-linux"
"x86_64-darwin"
"aarch64-darwin"
"aarch64-linux"
];
};
};
devsense.profiler-php-vscode = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "profiler-php-vscode";
publisher = "devsense";
version = "1.59.17515";
hash = "sha256-Y2y1vpqKEOjg4eniG0myhaAkJLdEIAT1UdEdbr04MrA=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.profiler-php-vscode/changelog";
description = "Visual studio code extension for PHP and XDebug profiling and inspecting";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=DEVSENSE.profiler-php-vscode";
homepage = "https://github.com/DEVSENSE/phptools-docs";
license = lib.licenses.unfree;
maintainers = [ ];
};
};
dhall.dhall-lang = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "dhall-lang";