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 9cf70bd9badb20fd694cb444d663e95ce78413ce..6a6597c1ebf947f2df2c748df1422572b0141611 100644
--- a/chrome/browser/extensions/extension_system.h
+++ b/chrome/browser/extensions/extension_system.h
@@ -188,6 +188,9 @@ class ExtensionSystemImpl : public ExtensionSystem {
     void InitInfoMap();
     void Init(bool extensions_enabled);
 
+    // ProfileKeyedService implementation.
+    virtual void Shutdown() OVERRIDE;
+
     StateStore* state_store();
     ExtensionService* extension_service();
     ManagementPolicy* management_policy();