vscode-extensions.devsense.profiler-php-vscode: 1.36.13428 -> 1.41.14332

This commit is contained in:
Pol Dellaiera 2023-11-29 22:50:59 +01:00
parent 7f1a76173f
commit 898592c693
No known key found for this signature in database
GPG Key ID: D476DFE9C67467CA

View File

@ -1040,15 +1040,15 @@ let
mktplcRef = {
name = "profiler-php-vscode";
publisher = "devsense";
version = "1.36.13428";
sha256 = "sha256-/CT83LdQkEvsWrQX30bgnklgGKduYC0LqZ8gaexqu60=";
version = "1.41.14332";
sha256 = "sha256-u2lNqG6FUhWnnNGtv+sjTbP/hbu4Da/8xjLzmPZkZOA=";
};
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;
license = lib.licenses.unfree;
maintainers = [ lib.maintainers.drupol ];
};
};