From 44ddd2108ec863d5fa30ae1424eab4a94eac8b74 Mon Sep 17 00:00:00 2001 From: Juan Escalada Date: Sat, 9 Nov 2024 16:12:30 +0900 Subject: [PATCH] Undo devtools api report change Signed-off-by: Juan Escalada --- plugins/devtools/report-alpha.api.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/devtools/report-alpha.api.md b/plugins/devtools/report-alpha.api.md index e8681c6fbf..1b026d1f78 100644 --- a/plugins/devtools/report-alpha.api.md +++ b/plugins/devtools/report-alpha.api.md @@ -80,7 +80,7 @@ const _default: FrontendPlugin< >; inputs: {}; params: { - title: string /** @alpha */; + title: string; icon: IconComponent; routeRef: RouteRef; };