From 7456f91ce8058f6294deb7cbe6f327c008019b6a Mon Sep 17 00:00:00 2001
From: Armel Fauveau <armel.fauveau@globalis-ms.com>
Date: Sat, 7 Jul 2001 19:44:52 +0000
Subject: [PATCH] Gzip Support

---
 db_details.php3       | 8 ++++++++
 lang/english.inc.php3 | 3 +++
 lang/french.inc.php3  | 3 +++
 tbl_properties.php3   | 8 ++++++++
 4 files changed, 22 insertions(+)

diff --git a/db_details.php3 b/db_details.php3
index 751caed98..886bc6354 100755
--- a/db_details.php3
+++ b/db_details.php3
@@ -236,6 +236,14 @@ if($cfgBookmark['db'] && $cfgBookmark['table'])
         <td>
             <input type="checkbox" name="asfile" value="sendit"><?php echo $strSend;?>
         </td>
+        <?php
+        // gzip encode feature
+        if(function_exists("gzencode")) {
+            echo "<td>\n";
+            echo "<input type=\"checkbox\" name=\"gzip\" value=\"gzip\">".$strGzip."\n";
+            echo "</td>\n";
+        }
+        ?>
     </tr>
     <tr>
         <td>
diff --git a/lang/english.inc.php3 b/lang/english.inc.php3
index fdd77a4df..e33f3f3e8 100644
--- a/lang/english.inc.php3
+++ b/lang/english.inc.php3
@@ -270,4 +270,7 @@ $strYes = "Yes";
 $strBinary="Binary";  
 $strBinaryDoNotEdit="Binary - do not edit";  
 $strEnglishPrivileges=" Note: MySQL privilege names are expressed in English ";
+
+// export Zip (July 07, 2001, 19:48am)
+$strGzip="Gzip";
 ?>
diff --git a/lang/french.inc.php3 b/lang/french.inc.php3
index d1edf8153..c98031627 100644
--- a/lang/french.inc.php3
+++ b/lang/french.inc.php3
@@ -267,4 +267,7 @@ $strWelcome = "Bienvenue 
 $strWrongUser = "Erreur d'utilisateur/mot de passe. Accès refusé";
 
 $strYes = "Oui";
+
+// export Zip (July 07, 2001, 19:48am)
+$strGzip="Gzip";
 ?>
diff --git a/tbl_properties.php3 b/tbl_properties.php3
index 4f538ed07..6c5bb5cff 100755
--- a/tbl_properties.php3
+++ b/tbl_properties.php3
@@ -405,6 +405,14 @@ echo "&nbsp;$strSingly\n";
         <td>
             <input type="checkbox" name="asfile" value="sendit"><?php echo $strSend;?>
         </td>
+        <?php
+        // gzip encode feature
+        if(function_exists("gzencode")) {
+            echo "<td>\n";
+            echo "<input type=\"checkbox\" name=\"gzip\" value=\"gzip\">".$strGzip."\n";
+            echo "</td>\n";
+        }
+        ?>
     </tr>
     <tr>
     <td>