Index: php.ini
===================================================================
--- php.ini	(revision 886)
+++ php.ini	(revision 887)
@@ -1,4 +1,8 @@
+; Only used by win32 SDK
 [PHP]
 extension_dir = "./"
 extension=php_curl.dll
-extension=php_soap.dll
\ No newline at end of file
+extension=php_soap.dll
+; built-in since PHP 5.3.0 !
+; We should do the switch and remove this line ...
+extension=php_zip.dll