diff options
author | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-22 17:50:27 +0300 |
---|---|---|
committer | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-22 17:50:27 +0300 |
commit | 9dfd32317d0184f5dee2560e387d9f1a5d632d50 (patch) | |
tree | 143ea3442521d0b373b361bb1891e76c27ee8136 /prefs_manage.php | |
parent | 2d6cfdd700f65ec37694c8839c43c4f810425bca (diff) |
Fix coding style in page settings
Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com>
Diffstat (limited to 'prefs_manage.php')
-rw-r--r-- | prefs_manage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs_manage.php b/prefs_manage.php index b8bd004d0d..a6b2bcdd9b 100644 --- a/prefs_manage.php +++ b/prefs_manage.php @@ -380,5 +380,5 @@ if (file_exists('setup/index.php')) { if ($response->isAjax()) { $response->addJSON('_disableNaviSettings', true); } else { - define('PMA_disableNaviSettings', true); + define('PMA_DISABLE_NAVI_SETTINGS', true); } |