Index: chrome/common/extensions/api/api.gyp |
diff --git a/chrome/common/extensions/api/api.gyp b/chrome/common/extensions/api/api.gyp |
index 63e5295783f8aca2cc370ee5e23a37a60d3bb8e3..414a4d253828eed6b50a16c30951daaca42cca55 100644 |
--- a/chrome/common/extensions/api/api.gyp |
+++ b/chrome/common/extensions/api/api.gyp |
@@ -31,6 +31,7 @@ |
'music_manager_private.idl', |
'principals_private.idl', |
'top_sites.json', |
+ 'web_request_internal.json', |
], |
'conditions': [ |
['OS!="android"', { |