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_manage.php | |
parent | aa57d15ca7c84ab3db90bba8c5fe5982608265c6 (diff) |
Navigation panel settings
Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com>
Diffstat (limited to 'prefs_manage.php')
-rw-r--r-- | prefs_manage.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/prefs_manage.php b/prefs_manage.php index 4f7c58bca3..b8bd004d0d 100644 --- a/prefs_manage.php +++ b/prefs_manage.php @@ -375,3 +375,10 @@ if (file_exists('setup/index.php')) { </div> <br class="clearfloat" /> </div> + +<?php +if ($response->isAjax()) { + $response->addJSON('_disableNaviSettings', true); +} else { + define('PMA_disableNaviSettings', true); +} |