vscode-extensions.devsense.profiler-php-vscode: init at 1.33.12924

This commit is contained in:
Pol Dellaiera 2023-04-06 19:41:35 +02:00
parent ec5d68c93a
commit 0d7295ade2
No known key found for this signature in database
GPG Key ID: D476DFE9C67467CA

View File

@ -832,6 +832,23 @@ let
};
};
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";