mirror of
https://github.com/php/php-src.git
synced 2026-04-22 23:48:14 +02:00
f27d074996
As pointed out by remi in: https://github.com/php/php-src/commit/47fe4125189833e80eac8c09f7d1cf83b10aeb0d#r58428167