Transfer user agent override info between browser and renderer

content/public/renderer/document_state.h

Index: content/public/renderer/document_state.h
diff --git a/content/public/renderer/document_state.h b/content/public/renderer/document_state.h
index d39a893dafcc6b7101661e5424966c69a552a3d0..94d10b4872ede31ea22a663cc60061de638e048c 100644
--- a/content/public/renderer/document_state.h
+++ b/content/public/renderer/document_state.h
@@ -192,6 +192,12 @@ class DocumentState : public WebKit::WebDataSource::ExtraData {
     use_error_page_ = use_error_page;
   }
 
+  // True if the user agent was overridden for this page.
+  bool is_overriding_user_agent() const { return is_overriding_user_agent_; }
+  void set_is_overriding_user_agent(bool state) {
+    is_overriding_user_agent_ = state;
+  }
+
   void set_was_prefetcher(bool value) { was_prefetcher_ = value; }
   bool was_prefetcher() const { return was_prefetcher_; }
 
@@ -273,6 +279,8 @@ class DocumentState : public WebKit::WebDataSource::ExtraData {
 
   bool use_error_page_;
 
+  bool is_overriding_user_agent_;
+
   // A prefetcher is a page that contains link rel=prefetch elements.
   bool was_prefetcher_;
   bool was_referred_by_prefetcher_;