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 c7f93c293d74ba483a30fc1a647db3626d078af7..24c27adc98ae7e9cc2197688ec429f4d08c3125f 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();