From 02b0071484b32322f606b5c07b78dcd1f93d0a41 Mon Sep 17 00:00:00 2001 From: williamwu-mongodb Date: Tue, 9 Dec 2025 12:54:21 -0800 Subject: [PATCH] Update plugins/devtools-common/src/permissions.ts Co-authored-by: Andre Wanlin <67169551+awanlin@users.noreply.github.com> Signed-off-by: williamwu-mongodb --- plugins/devtools-common/src/permissions.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/devtools-common/src/permissions.ts b/plugins/devtools-common/src/permissions.ts index 0c93c0ff2a..fcec4d5e91 100644 --- a/plugins/devtools-common/src/permissions.ts +++ b/plugins/devtools-common/src/permissions.ts @@ -52,7 +52,7 @@ export const devToolsExternalDependenciesReadPermission = createPermission({ * @alpha */ export const devToolsTaskSchedulerReadPermission = createPermission({ - name: 'devtools.task-scheduler', + name: 'devtools.scheduler.read', attributes: { action: 'read' }, });