Issue 3796 - Added preference to remove developer tools panel

_locales/en_US/messages.json

 {
   "add": {
     "description": "This is the label for the 'Add' buttons.",
     "message": "Add"
   },
   "add_domain_button": {
     "message": "Add domain"
   },
   "add_filter_button": {
     "message": "Add filter"
@@ skipping 110 matching lines @@
     "description": "This is the label for the 'Remove selected' buttons.",
     "message": "Remove selected"
   },
   "safari_content_blocker": {
     "description": "Switch between classic and Safari's Content Blocking",
     "message": "Use Safari's native Content Blocking (experimental)"
   },
   "show_block_element_menu": {
     "message": "Show 'Block Element' right-click menu item"
   },
+  "show_devtools_panel": {
+    "message": "Show 'Adblock Plus' panel in the developer tools"
+  },
   "stats_label_page": {
     "description": "This shows the number of blocked requests on a specific page in the popup.",
     "message": "<strong>$number$</strong> on this page",
     "placeholders": {
       "number": {
         "content": "$1"
       }
     }
   },
   "stats_label_total": {
@@ skipping 64 matching lines @@
   "line": {
     "message": "Line $number$",
     "description": "Prepended to error messages to indicate the line number (e.g. \"Line 42: Some error on this line\")",
     "placeholders": {
       "number": {
         "content": "$1"
       }
     }
   }
 }