no need to call PMA_profilingSupported() if isset($_REQUEST['profiling']) is false

2008-01-21 11:44:37 +00:00
parent 227c7747c0
commit 32ba2d44bf
1 changed files with 1 additions and 2 deletions
--- 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