From a8852c5dc9afd08a3bf00eea4273aef1bca6316e Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Tue, 3 Aug 2010 13:10:31 -0400
Subject: [PATCH] JSON exported file extension should be .json

---
 libraries/export/json.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/export/json.php b/libraries/export/json.php
index 0355d9a2e..5a092654c 100644
--- 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(