diff options
author | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-22 14:45:03 +0300 |
---|---|---|
committer | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-22 14:45:03 +0300 |
commit | 9c77ec694e85b413ad3f8b070054765cb3ae9075 (patch) | |
tree | bd243a13c138ad8ece9f3320b96f99f316de0f93 /prefs_forms.php | |
parent | aa57d15ca7c84ab3db90bba8c5fe5982608265c6 (diff) |
Navigation panel settings
Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com>
Diffstat (limited to 'prefs_forms.php')
-rw-r--r-- | prefs_forms.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/prefs_forms.php b/prefs_forms.php index 4cfe8ff94d..2dbc9b626d 100644 --- a/prefs_forms.php +++ b/prefs_forms.php @@ -90,3 +90,9 @@ if ($form_display->hasErrors()) { <?php } echo $form_display->getDisplay(true, true); + +if ($response->isAjax()) { + $response->addJSON('_disableNaviSettings', true); +} else { + define('PMA_disableNaviSettings', true); +} |