DevTools: remove DevTools from options UI.

chrome/app/generated_resources.grd

Index: chrome/app/generated_resources.grd
===================================================================
--- chrome/app/generated_resources.grd	(revision 17071)
+++ chrome/app/generated_resources.grd	(working copy)
@@ -3527,11 +3527,6 @@
         JavaScript Debugger - Running
       </message>
 
-      <!-- Developer Tools -->
-      <message name="IDS_DEVTOOLS_TITLE" desc="Default Developer Tools title bar">
-        Developer Tools - <ph name="URL">$1<ex>http://www.google.com</ex></ph>
-      </message>
-
       <!-- Shortcut Modifiers -->
       <message name="IDS_CONTROL_MODIFIER" desc="Control key shortcut modifier">
         Ctrl+<ph name="KEY_COMBO_NAME">$1<ex>C</ex></ph>
@@ -3673,10 +3668,6 @@
         Don't reset
       </message>
       
-      <message name="IDS_OPTIONS_ENABLE_DEVTOOLS" desc="The label of the Enable Developer Tools checkbox in the 'Advanced options'">
-        Enable Developer Tools
-      </message>
-
       <!-- Can't write to user data directory dialog -->
       <message name="IDS_CANT_WRITE_USER_DIRECTORY_TITLE" desc="Title of dialog that is displayed when we can't create a directory for this user.">
         Failed To Create Data Directory
@@ -3720,9 +3711,6 @@
       <message name="IDS_OPTIONS_ADVANCED_SECTION_TITLE_NETWORK">
         Network
       </message>
-      <message name="IDS_OPTIONS_ADVANCED_SECTION_TITLE_DEVTOOLS">
-        Developer Tools
-      </message>
 
       <!-- Script Timeout Dialog -->
       <message name="IDS_SCRIPT_TIMEOUT_DIALOG_TITLE" desc="Title of the script timeout dialog.">