DevTools: convert about:workers into about:inspect

tools/gritsettings/resource_ids

 # Copyright (c) 2012 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
 # This file is used to assign starting resource ids for resources and strings
 # used by Chromium.  This is done to ensure that resource ids are unique
 # across all the grd files.  If you are adding a new grd file, please add
 # a new entry to this file.
 #
 # The first entry in the file, SRCDIR, is special: It is a relative path from
@@ skipping 144 matching lines @@
   },
   "chrome/browser/resources/options2_resources.grd": {
     "includes": [22200],
   },
   "cloud_print/virtual_driver/win/install/virtual_driver_setup_resources.grd": {
     "messages": [22500],
   },
   "chrome/browser/resources/quota_internals_resources.grd": {
     "includes": [23000],
   },
-  "chrome/browser/resources/workers_resources.grd": {
-    "includes": [23500],
-  },
   # All standard and large theme resources should have the same IDs.
   "ui/resources/ui_resources_standard.grd": {
     "includes": [24000],
   },
   "ui/resources/ui_resources_2x.grd": {
     "includes": [24000],
   },
   "content/content_resources.grd": {
     "includes": [24500],
   },
   "content/shell/shell_resources.grd": {
     "includes": [25000],
   },
   "ash/ash_strings.grd": {
     "messages": [25500],
   },
 }