JSON exported file extension should be .json

2010-08-03 13:10:31 -04:00
parent 5675555d5a
commit a8852c5dc9
1 changed files with 1 additions and 1 deletions
--- a/libraries/export/json.php
+++ b/libraries/export/json.php
@@ -13,7 +13,7 @@ if (! defined('PHPMYADMIN')) {
 if (isset($plugin_list)) {
    $plugin_list['json'] = array(
        'text'          => 'JSON',
-        'extension'     => 'php',
+        'extension'     => 'json',
        'mime_type'     => 'text/plain',
        'options'       => array(
            array(