Index: chrome/browser/extensions/api/developer_private/developer_private_api.h |
diff --git a/chrome/browser/extensions/api/developer_private/developer_private_api.h b/chrome/browser/extensions/api/developer_private/developer_private_api.h |
index ecc6b05ddd3507c6c918e35d2f05dd20086db18b..78f004e49b1c4cce47f5d3faaf9f8f3d8d4a9188 100644 |
--- a/chrome/browser/extensions/api/developer_private/developer_private_api.h |
+++ b/chrome/browser/extensions/api/developer_private/developer_private_api.h |
@@ -122,9 +122,12 @@ class DeveloperPrivateEventRouter : public ExtensionRegistryObserver, |
void ExtensionWarningsChanged( |
const ExtensionIdSet& affected_extensions) override; |
- // Handles a profile preferance change. |
+ // Handles a profile preference change. |
void OnProfilePrefChanged(); |
+ // Handles a change of the kDevToolsDisabled preference |
+ void OnDevToolsDisabledChanged(); |
+ |
// Broadcasts an event to all listeners. |
void BroadcastItemStateChanged(api::developer_private::EventType event_type, |
const std::string& id); |