| 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.
|
|
|