Plumb invalidations from Tango to the extensions code for the Push Messaging API.

chrome/browser/extensions/extension_system.h

Index: chrome/browser/extensions/extension_system.h
diff --git a/chrome/browser/extensions/extension_system.h b/chrome/browser/extensions/extension_system.h
index 884f03636975a83b9fbc590b4902867db12dce5d..280c9550a9f7dbb8e3bf1f3452f2f2989277842e 100644
--- a/chrome/browser/extensions/extension_system.h
+++ b/chrome/browser/extensions/extension_system.h
@@ -187,6 +187,9 @@ class ExtensionSystemImpl : public ExtensionSystem {
     void RegisterManagementPolicyProviders();
     void Init(bool extensions_enabled);
 
+    // ProfileKeyedService implementation.
+    virtual void Shutdown() OVERRIDE;
+
     StateStore* state_store();
     ExtensionService* extension_service();
     ManagementPolicy* management_policy();