From 4c7e90706e9a827a8a9bb9924b33281ad3a5dad2 Mon Sep 17 00:00:00 2001
From: Brian Phillips <28457+brianphillips@users.noreply.github.com>
Date: Wed, 17 May 2023 14:01:42 -0500
Subject: [PATCH] add api report

Signed-off-by: Brian Phillips <28457+brianphillips@users.noreply.github.com>
---
 plugins/devtools-common/api-report.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/plugins/devtools-common/api-report.md b/plugins/devtools-common/api-report.md
index 7e38ff05b0..6594b0d8a4 100644
--- a/plugins/devtools-common/api-report.md
+++ b/plugins/devtools-common/api-report.md
@@ -40,6 +40,9 @@ export type DevToolsInfo = {
 // @public (undocumented)
 export const devToolsInfoReadPermission: BasicPermission;
 
+// @public
+export const devToolsPermissions: BasicPermission[];
+
 // @public (undocumented)
 export type Endpoint = {
   name: string;