Index: chrome/browser/browser_resources.grd |
diff --git a/chrome/browser/browser_resources.grd b/chrome/browser/browser_resources.grd |
index f592d0f7ce7a719d36c9fd27e83dc08e40a747a2..a8e76c0d810fb149cbf321421d96af6618213656 100644 |
--- a/chrome/browser/browser_resources.grd |
+++ b/chrome/browser/browser_resources.grd |
@@ -112,6 +112,9 @@ |
<include name="IDR_CRASHES_JS" file="resources\crashes.js" type="BINDATA" /> |
<include name="IDR_CREDITS_HTML" file="${about_credits_file}" use_base_dir="false" type="BINDATA" /> |
<include name="IDR_CREDITS_JS" file="resources\about_credits.js" type="BINDATA" /> |
+ <if expr="not is_ios"> |
+ <include name="IDR_DEVTOOLS_DISCOVERY_PAGE_HTML" file="devtools\frontend\devtools_discovery_page.html" type="BINDATA"/> |
+ </if> |
<if expr="not is_android"> |
<include name="IDR_DOWNLOADS_JS" file="resources\downloads\downloads.js" type="BINDATA" /> |
<include name="IDR_EXTENSION_COMMAND_LIST_JS" file="resources\extensions\extension_command_list.js" flattenhtml="true" type="BINDATA" /> |