diff options
author | Madhura Jayaratne <madhura.cj@gmail.com> | 2012-06-01 20:22:30 +0400 |
---|---|---|
committer | Madhura Jayaratne <madhura.cj@gmail.com> | 2012-06-01 20:22:30 +0400 |
commit | 10510e16b4973f096b0ca05217dda8701f60da7c (patch) | |
tree | 000314395d9070672216078d22fdeb3b5e9b79cb /prefs_manage.php | |
parent | 381ae7b85a87e98c296aa4044c12ad8766e8b4c9 (diff) |
Fix function name: PMA_download_header -> PMA_downloadHeader
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 33e6080395..cdbeeeed07 100644 --- a/prefs_manage.php +++ b/prefs_manage.php @@ -24,7 +24,7 @@ $error = ''; if (isset($_POST['submit_export']) && filter_input(INPUT_POST, 'export_type') == 'text_file') { // export to JSON file $filename = 'phpMyAdmin-config-' . urlencode(PMA_getenv('HTTP_HOST')) . '.json'; - PMA_download_header($filename, 'application/json'); + PMA_downloadHeader($filename, 'application/json'); $settings = PMA_load_userprefs(); echo json_encode($settings['config_data']); return; |