diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index c8b07ef0427b..79135426c494 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -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";