Hey guys, Somebody filed a bug report (https://bugs.php.net/bug.php?id=64154) about non-bundled extensions like php_zip being included in php.ini. Is there a reason why we're keeping those in there, or is it just that nobody ever got around to removing them?
Thanks! --Kris
