From 6a552b389ae5f48fea3110b50ac9b572b0baa8d8 Mon Sep 17 00:00:00 2001
From: williamwu-mongodb <william.t.wu@mongodb.com>
Date: Tue, 9 Dec 2025 11:14:52 -0800
Subject: [PATCH] Update plugins/devtools/config.d.ts
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Fredrik Adelöw <freben@gmail.com>
Signed-off-by: williamwu-mongodb <william.t.wu@mongodb.com>
---
 plugins/devtools/config.d.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/devtools/config.d.ts b/plugins/devtools/config.d.ts
index 4a22aa15a3..841bb0b042 100644
--- a/plugins/devtools/config.d.ts
+++ b/plugins/devtools/config.d.ts
@@ -14,12 +14,12 @@
  * limitations under the License.
  */
 export interface Config {
-  devTools: {
+  devTools?: {
     /**
      * Scheduled tasks configuration
      * @visibility frontend
      */
-    scheduledTasks: {
+    scheduledTasks?: {
       /**
        * A list of plugin IDs to select from, e.g. ['catalog', 'scaffolder']
        * @visibility frontend