| Index: tools/grit/resource_ids | 
| diff --git a/tools/grit/resource_ids b/tools/grit/resource_ids | 
| index b89b95de0332160de6314645210ad07de5723496..c8716009a3bc602e4569f9080035b4074a7da9a9 100644 | 
| --- a/tools/grit/resource_ids | 
| +++ b/tools/grit/resource_ids | 
| @@ -130,5 +130,12 @@ | 
| # This file is generated during the build. | 
| "<(SHARED_INTERMEDIATE_DIR)/devtools/devtools_resources.grd": { | 
| "includes": [20500], | 
| -  } | 
| +  }, | 
| +  # All standard and large theme resources should have the same IDs. | 
| +  "chrome/app/theme/theme_resources_standard.grd": { | 
| +    "includes": [21000], | 
| +  }, | 
| +  "chrome/app/theme/theme_resources_large.grd": { | 
| +    "includes": [21000], | 
| +  }, | 
| } | 
|  |