mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
As per https://github.com/php/php-src/pull/11838#issuecomment-1658648817 Co-authored-by: jrfnl <jrfnl@users.noreply.github.com>
As per https://github.com/php/php-src/pull/11838#issuecomment-1658648817 Co-authored-by: jrfnl <jrfnl@users.noreply.github.com>