mirror of
https://github.com/php/php-src.git
synced 2026-04-27 10:16:41 +02:00
a6a13139db
This reapplies 286162e9b0 to the PHP-8.1 (and up)
branches, fixing what might have been caused by a bad merge conflict resolution.