php/php-src — pull request #404 by Jan-E (2013-08-10 16:14:23+00:00)
Title: 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