diff options
| author | Isaac Bennetch <bennetch@gmail.com> | 2019-03-28 16:35:45 +0300 |
|---|---|---|
| committer | Isaac Bennetch <bennetch@gmail.com> | 2019-03-28 16:35:45 +0300 |
| commit | dfd0150d7bed308859ea604e68dc75c6e2b80d0c (patch) | |
| tree | 5312fc6455b03a729451554b2f36aa65c23f73df /prefs_manage.php | |
| parent | 43acd6de9a1494ab2278a7a075a2bc8b42b6b5ef (diff) | |
Improved label in Settings export, clarifying that it's a JSON file
Fixes: #15115
Signed-off-by: Isaac Bennetch <bennetch@gmail.com>
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 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" /> |