From 297be700ea69b909adb087c57f9454cce76d438a Mon Sep 17 00:00:00 2001 From: Pol Dellaiera Date: Mon, 3 Jul 2023 17:21:18 +0200 Subject: [PATCH] vscode-extensions.devsense.profiler-php-vscode: 1.34.13295 -> 1.36.13428 --- pkgs/applications/editors/vscode/extensions/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index fb0645cc1e13..e3c5e378376e 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -997,8 +997,8 @@ let mktplcRef = { name = "profiler-php-vscode"; publisher = "devsense"; - version = "1.34.13295"; - sha256 = "sha256-ZGklnPnSaHCGCRukVHie5ShvX94rXp2z3e/5PP2dq7I="; + version = "1.36.13428"; + sha256 = "sha256-/CT83LdQkEvsWrQX30bgnklgGKduYC0LqZ8gaexqu60="; }; meta = { changelog = "https://marketplace.visualstudio.com/items/DEVSENSE.profiler-php-vscode/changelog";