From 95e8d04f41a80e2f0f4c1cc1184dbc0a38169bf6 Mon Sep 17 00:00:00 2001
From: Jan Ehrhardt <phpdev@ehrhardt.nl>
Date: Sat, 10 Aug 2013 18:08:06 +0200
Subject: [PATCH] php.ini-development/production: remove php_zip.dll

Remove the reference to php_zip.dll in php.ini-production and
php.ini-development, because php_zip.dll does not exist anymore since
PHP 5.3
---
 php.ini-development | 1 -
 php.ini-production  | 1 -
 2 files changed, 2 deletions(-)

diff --git a/php.ini-development b/php.ini-development
index 3c53ffd500218..5d4c54510cb96 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -909,7 +909,6 @@ default_socket_timeout = 60
 ;extension=php_tidy.dll
 ;extension=php_xmlrpc.dll
 ;extension=php_xsl.dll
-;extension=php_zip.dll
 
 ;;;;;;;;;;;;;;;;;;;
 ; Module Settings ;
diff --git a/php.ini-production b/php.ini-production
index 91b55d614cd01..817dd5cc4d606 100644
--- a/php.ini-production
+++ b/php.ini-production
@@ -910,7 +910,6 @@ default_socket_timeout = 60
 ;extension=php_tidy.dll
 ;extension=php_xmlrpc.dll
 ;extension=php_xsl.dll
-;extension=php_zip.dll
 
 ;;;;;;;;;;;;;;;;;;;
 ; Module Settings ;