| 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],
 | 
| +  },
 | 
|  }
 | 
| 
 |