From dfd0150d7bed308859ea604e68dc75c6e2b80d0c Mon Sep 17 00:00:00 2001
From: Isaac Bennetch <bennetch@gmail.com>
Date: Thu, 28 Mar 2019 09:35:45 -0400
Subject: [PATCH] Improved label in Settings export, clarifying that it's a
 JSON file

Fixes: #15115

Signed-off-by: Isaac Bennetch <bennetch@gmail.com>
---
 ChangeLog        | 1 +
 prefs_manage.php | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 9173cb977e..b3f7255e8f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -42,6 +42,7 @@ phpMyAdmin - ChangeLog
 - issue #14957 Virtuality is not selected when editing generated column (added virtuality(stored) option for mariadb)
 - issue #14853 Insert page should not allow entering things into virtual columns
 - issue #15110 Fixed TypeError e.preventDefaulut is not a function
+- issue #15115 Improved label in Settings export, clarifying that it's a JSON file
 
 4.8.5 (2019-01-25)
 - issue        Developer debug data was saved to the PHP error log
diff --git a/prefs_manage.php b/prefs_manage.php
index 94d0870f7c..8b0f5d90bd 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -306,7 +306,7 @@ if (@file_exists('setup/index.php') && ! @file_exists(CONFIG_FILE)) {
                     <input type="radio" id="export_text_file" name="export_type"
                            value="text_file" checked="checked" />
                     <label for="export_text_file">
-                        <?php echo __('Save as file'); ?>
+                        <?php echo __('Save as JSON file'); ?>
                     </label><br />
                     <input type="radio" id="export_php_file" name="export_type"
                            value="php_file" />