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