From 5b568db10fa5629ac5eea30de71b9e1dcc6e7fa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@suse.cz>
Date: Thu, 4 Aug 2011 14:24:57 +0200
Subject: [PATCH] Use new function for download headers

---
 prefs_manage.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/prefs_manage.php b/prefs_manage.php
index ec1b481176..000cce479f 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -24,9 +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';
-    header('Content-Type: application/json');
-    header('Content-Disposition: attachment; filename="' . $filename . '"');
-    header('Expires: ' . date(DATE_RFC1123));
+    PMA_download_header($filename, 'application/json');
     $settings = PMA_load_userprefs();
     echo json_encode($settings['config_data']);
     return;