diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-04-06 19:41:11 +0200 |
---|---|---|
committer | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-04-06 19:41:11 +0200 |
commit | ec5d68c93a83bb26b60dd396dd22a66707b1cba5 (patch) | |
tree | 155e4a2a9df0ec89171c1a3c83763b17912d6124 /pkgs/applications/editors | |
parent | 0150df8d513f97cc85cdff47d025339d580ded20 (diff) |
vscode-extensions.devsense.phptools-vscode: init at 1.33.12924
Diffstat (limited to 'pkgs/applications/editors')
-rw-r--r-- | pkgs/applications/editors/vscode/extensions/default.nix | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index 1a8e31380c397..625ad0b733d96 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -815,6 +815,23 @@ let }; }; + 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 ]; + }; + }; + dhall.dhall-lang = buildVscodeMarketplaceExtension { mktplcRef = { name = "dhall-lang"; |