From 32ba2d44bfacfb9e2513fe369f6156be75b29abc Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Mon, 21 Jan 2008 11:44:37 +0000
Subject: [PATCH] no need to call PMA_profilingSupported() if
 isset($_REQUEST['profiling']) is false

---
 libraries/common.inc.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index 7630610a0..18a450b33 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -912,8 +912,7 @@ if (! defined('PMA_MINIMUM_COMMON')) {
      * check if profiling was requested and remember it
      * (note: when $cfg['ServerDefault'] = 0, constant is not defined)
      */
-
-    if (PMA_profilingSupported() && isset($_REQUEST['profiling'])) {
+    if (isset($_REQUEST['profiling']) && PMA_profilingSupported()) {
         $_SESSION['profiling'] = true;
     } elseif (isset($_REQUEST['profiling_form'])) {
         // the checkbox was unchecked