From a8e5a455f457115bab09a2503ba3395cc034a3d9 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Thu, 16 May 2013 13:16:19 -0400
Subject: [PATCH] $HTTP_USER_AGENT no longer exists

---
 libraries/Config.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/Config.class.php b/libraries/Config.class.php
index 9671a345a4..39379ebeab 100644
--- a/libraries/Config.class.php
+++ b/libraries/Config.class.php
@@ -159,7 +159,7 @@ class PMA_Config
     {
         if (PMA_getenv('HTTP_USER_AGENT')) {
             $HTTP_USER_AGENT = PMA_getenv('HTTP_USER_AGENT');
-        } elseif (! isset($HTTP_USER_AGENT)) {
+        } else {
             $HTTP_USER_AGENT = '';
         }