Claudio DeSouza
f47d374e15
This change moves the patching to its new location. It also introduces a new patching for the webidl representation that has been introduced upstream, to match the idl version. Chromium changes: https://chromium.googlesource.com/chromium/src/+/d6fb2ac71ba993553eecb43bb5d1161ff1364fcf commit d6fb2ac71ba993553eecb43bb5d1161ff1364fcf Author: Tim Judkins <tjudkins@chromium.org> Date: Tue Mar 31 18:19:48 2026 -0700 [Extensions] Convert developerPrivate to WebIDL This conversion was largely done using a detailed description of the conversion process passed to Gemini CLI. To double check this work, the file has also been copied into the converted schemas test to verify no functional difference in output. Also updated a few comments to use the new filename. Fixed: 493990846 Change-Id: I50da75a21869d45a988678dd589df7f4a6c3f778 Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/7694979 Commit-Queue: Tim <tjudkins@chromium.org> Reviewed-by: Emilia Paz <emiliapaz@chromium.org> Reviewed-by: Kelvin Jiang <kelvinjiang@chromium.org> Cr-Commit-Position: refs/heads/main@{#1608234}
13 lines
692 B
Diff
13 lines
692 B
Diff
diff --git a/chrome/common/extensions/api/developer_private.webidl b/chrome/common/extensions/api/developer_private.webidl
|
|
index 8c06cf0457edc8ea89af53174c56db00c1199da7..669527d7677a3a396ca28095d99f669afa4ff580 100644
|
|
--- a/chrome/common/extensions/api/developer_private.webidl
|
|
+++ b/chrome/common/extensions/api/developer_private.webidl
|
|
@@ -224,6 +224,7 @@ dictionary ExtensionInfo {
|
|
required AccessModifier incognitoAccess;
|
|
required AccessModifier userScriptsAccess;
|
|
required boolean incognitoAccessPendingChange;
|
|
+ required boolean isSplitMode;
|
|
required sequence<DOMString> installWarnings;
|
|
required boolean isCommandRegistrationHandledExternally;
|
|
DOMString launchUrl;
|