| 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);
|
|
|