diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index 44fb209b2bea..ea64eeacfdc6 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -798,6 +798,57 @@ let }; }; + devsense.composer-php-vscode = buildVscodeMarketplaceExtension { + mktplcRef = { + name = "composer-php-vscode"; + publisher = "devsense"; + version = "1.33.12924"; + sha256 = "sha256-9Uz8B4qQ57gfETitzRAVEq/Ou/s3jOF/p2EyEDo1jP8="; + }; + meta = { + changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.composer-php-vscode/changelog"; + description = "A 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.asl20; + maintainers = [ lib.maintainers.drupol ]; + }; + }; + + devsense.phptools-vscode = buildVscodeMarketplaceExtension { + mktplcRef = { + name = "phptools-vscode"; + publisher = "devsense"; + version = "1.33.12924"; + sha256 = "sha256-ImaGkIe+MTO/utfVh3Giu0+jTSN0mmhgg6LvOod1suE="; + }; + meta = { + changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.phptools-vscode/changelog"; + description = "A 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.asl20; + maintainers = [ lib.maintainers.drupol ]; + }; + }; + + devsense.profiler-php-vscode = buildVscodeMarketplaceExtension { + mktplcRef = { + name = "profiler-php-vscode"; + publisher = "devsense"; + version = "1.33.12924"; + sha256 = "sha256-6+spMS+oypq8KFW5vsoy0Cmn7RD5L1JQnHSyJAvYhTk="; + }; + meta = { + changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.profiler-php-vscode/changelog"; + description = "A 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.asl20; + maintainers = [ lib.maintainers.drupol ]; + }; + }; + dhall.dhall-lang = buildVscodeMarketplaceExtension { mktplcRef = { name = "dhall-lang";