mirror of
https://github.com/php/php-src.git
synced 2026-04-26 17:38:14 +02:00
d77ea459bd
Upstream fix: https://github.com/file/file/commit/f97486ef5dc3e8735440edc4fc8808c63e1a3ef0