[tor-commits] [torbutton/master] Bug 3845: Bump Firefox user agent to 10.0-ESR

[mikeperry at torproject.org]

commit add457cf47a9e201b1f8c7786a1ff330b5833553
Author: Mike Perry <mikeperry-git at fscked.org>
Date:   Fri May 25 13:01:26 2012 -0700

    Bug 3845: Bump Firefox user agent to 10.0-ESR
    
    We'll mimic but slightly deviate from Firefox 10.0.4 ESR's uagent. (Why do
    they need a damn minor version in there anyways? Just so people can get owned
    easier, or what?)
---
 src/defaults/preferences/preferences.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/defaults/preferences/preferences.js b/src/defaults/preferences/preferences.js
index 8c2ed3e..f8e6730 100644
--- a/src/defaults/preferences/preferences.js
+++ b/src/defaults/preferences/preferences.js
@@ -209,7 +209,8 @@ pref("extensions.torbutton.appversion_override","5.0 (Windows)");
 pref("extensions.torbutton.platform_override","Win32");
 pref("extensions.torbutton.oscpu_override", "Windows NT 6.1");
 
-pref("extensions.torbutton.useragent_override", "Mozilla/5.0 (Windows NT 6.1; rv:5.0) Gecko/20100101 Firefox/5.0");
+pref("extensions.torbutton.useragent_override",
+     "Mozilla/5.0 (Windows NT 6.1; rv:10.0) Gecko/20100101 Firefox/10.0");
 
 pref("extensions.torbutton.productsub_override","20100101");
 pref("extensions.torbutton.buildID_override","0");