Don't use firefox as the default user agent

modules/adblockplusorg/files/adblockplus.org

 server {
   root /var/www/adblockplus.org/httpdocs;
 
   location / {
     index index.php index index.html;
 
     if ($arg_a = "view") {
       rewrite ^(.*) $1? permanent;
     }
 
     set $preferredLang en;
     if ($http_accept_language ~ ^(\w\w)\b) {
       set $preferredLang $1;
     }
     if (!-f $document_root/static/$preferredLang/index) {
       set $preferredLang en;
     }
 
     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.

+    if ($http_user_agent ~ \bGecko/\d+) {
       set $user_agent "firefox";
     }
     if ($http_user_agent ~ \bChrome/\d+) {
       set $user_agent "chrome";
     }
     if ($http_user_agent ~ \bPresto/\d+) {
       set $user_agent "opera";
     }
     if ($http_user_agent ~ \bAndroid\s.*\bAppleWebKit/\d+) {
       set $user_agent "android";
@@ skipping 85 matching lines @@
     fastcgi_param GATEWAY_INTERFACE CGI/1.1;
     fastcgi_param SERVER_SOFTWARE nginx/$nginx_version;
 
     fastcgi_param REMOTE_ADDR $remote_addr;
     fastcgi_param REMOTE_PORT $remote_port;
     fastcgi_param SERVER_ADDR $server_addr;
     fastcgi_param SERVER_PORT $server_port;
     fastcgi_param SERVER_NAME $server_name;
   }
 }