Don't use firefox as the default user agent

modules/adblockplusorg/files/adblockplus.org

Index: modules/adblockplusorg/files/adblockplus.org
===================================================================
--- a/modules/adblockplusorg/files/adblockplus.org
+++ b/modules/adblockplusorg/files/adblockplus.org
@@ -16,7 +16,10 @@
       set $preferredLang en;
     }
 
-    set $user_agent "firefox";
+    set $user_agent "";
+    if ($http_user_agent ~ \bFirefox/\d+) {

[Wladimir Palant, 2013/01/09 18:42:08]

Not Firefox/\d+ but Gecko/d+ please.

[Felix Dahlke, 2013/01/10 04:49:04]

Done.

+      set $user_agent "firefox";
+    }
     if ($http_user_agent ~ \bChrome/\d+) {
       set $user_agent "chrome";
     }
@@ -27,9 +30,14 @@
       set $user_agent "android";
     }
 
+    set $platform "firefox";
+    if ($user_agent) {
+      set $platform $user_agent;
+    }
+
     if ($arg_a ~ ^(view|show)?$) {
-      rewrite ^/(index\.html)?$ /$preferredLang/$user_agent redirect;
-      rewrite ^/(\w\w(_\w\w)?)/?$ /$1/$user_agent redirect;
+      rewrite ^/(index\.html)?$ /$preferredLang/$platform redirect;
+      rewrite ^/(\w\w(_\w\w)?)/?$ /$1/$platform redirect;
     }
 
     rewrite ^/(\w\w(_\w\w)?)/installation$ /$1/ permanent;
@@ -43,7 +51,6 @@
     }
 
     set $static_uri $uri;
-    set $platform $user_agent;
     if ($uri ~ ^/(\w\w(_\w\w)?)/(firefox|chrome|opera|android)/?$) {
       set $static_uri "/$1/";
       set $platform $3;