mirror of
https://github.com/php/php-src.git
synced 2026-04-22 07:28:09 +02:00
995ecffbb2
According to the comment, it has not been deemed necessary to close compressed files. However, we don't want to keep unclosed file handles to save ressources. So we're also closing compressed archives, if they're not aliased.