Increase resource ID range for devtools resources

Fixed: 1152558
Change-Id: Icd2b108c868f01ff86f14f45118004a5068cddf5
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/2558341
Auto-Submit: Yang Guo <yangguo@chromium.org>
Reviewed-by: Paul Lewis <aerotwist@chromium.org>
Reviewed-by: Kentaro Hara <haraken@chromium.org>
Commit-Queue: Kentaro Hara <haraken@chromium.org>
Cr-Commit-Position: refs/heads/master@{#830914}

tools/gritsettings/resource_ids.spec

@@ -672,7 +672,9 @@
 
   # This file is generated during the build.
   "<(SHARED_INTERMEDIATE_DIR)/devtools/devtools_resources.grd": {
-    "META": {"sizes": {"includes": [1000],}},
+    # In debug build, devtools frontend sources are not bundled and therefore
+    # includes a lot of individual resources
+    "META": {"sizes": {"includes": [2000],}},
     "includes": [3860],
   },