Build 10-11-2024 (#60)

Latest devtools frontend commit: [cc5008a](https://chromium.googlesource.com/devtools/devtools-frontend.git/+/cc5008ae3396a10aec62ac54f7299db6c83474dc) Co-authored-by: GitHub <[email protected]>
iam-medvedev · Nov 10, 2024 · 41c43cd · 41c43cd
1 parent 8c09891
commit 41c43cd
Show file tree

Hide file tree

Showing 693 changed files with 8,318 additions and 3,741 deletions.
diff --git a/public/Images/Images.js b/public/Images/Images.js
diff --git a/public/Images/Images.prebundle.js b/public/Images/Images.prebundle.js
diff --git a/public/Images/animation.svg b/public/Images/animation.svg
diff --git a/public/Images/brush-2.svg b/public/Images/brush-2.svg
diff --git a/public/Images/src/animation.svg b/public/Images/src/animation.svg
diff --git a/public/Images/src/brush-2.svg b/public/Images/src/brush-2.svg
diff --git a/public/core/common/SettingRegistration.d.ts b/public/core/common/SettingRegistration.d.ts
@@ -142,7 +142,7 @@ export interface SettingRegistration {
  */
 export interface LearnMore {
     tooltip: () => Platform.UIString.LocalizedString;
-    url: Platform.DevToolsPath.UrlString;
+    url?: Platform.DevToolsPath.UrlString;
 }
 interface LocalizedSettingExtensionOption {
     value: boolean | string;