Index: chrome/common/extensions/api/schemas.gypi |
diff --git a/chrome/common/extensions/api/schemas.gypi b/chrome/common/extensions/api/schemas.gypi |
index 4a4bf9bb047eca9e57d6cabe9e98ad01cea2a97f..0c42b3f5e35dd94f8251cb434d25a73288b58aca 100644 |
--- a/chrome/common/extensions/api/schemas.gypi |
+++ b/chrome/common/extensions/api/schemas.gypi |
@@ -86,7 +86,6 @@ |
'types.json', |
'virtual_keyboard_private.json', |
'web_navigation.json', |
- 'web_request.json', |
# Despite the name, this API does not rely on any |
# WebRTC-specific bits and as such does not belong in |
# the enable_webrtc==0 section below. |
@@ -108,7 +107,6 @@ |
'music_manager_private.idl', |
'principals_private.idl', |
'top_sites.json', |
- 'web_request_internal.json', |
], |
# ChromeOS-specific schemas. |