undefined constant when ServerDefault == 0
This commit is contained in:
@@ -867,9 +867,10 @@ if (! defined('PMA_MINIMUM_COMMON')) {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* check if profiling was requested and remember it
|
* check if profiling was requested and remember it
|
||||||
|
* (note: when $cfg['ServerDefault'] = 0, constant is not defined)
|
||||||
*/
|
*/
|
||||||
|
|
||||||
if (PMA_MYSQL_INT_VERSION >= 50037 && isset($_REQUEST['profiling'])) {
|
if (defined('PMA_MYSQL_INT_VERSION') && PMA_MYSQL_INT_VERSION >= 50037 && isset($_REQUEST['profiling'])) {
|
||||||
$_SESSION['profiling'] = true;
|
$_SESSION['profiling'] = true;
|
||||||
} elseif (isset($_REQUEST['profiling_form'])) {
|
} elseif (isset($_REQUEST['profiling_form'])) {
|
||||||
// the checkbox was unchecked
|
// the checkbox was unchecked
|
||||||
|
Reference in New Issue
Block a user