mirror of
https://github.com/php/php-src.git
synced 2026-04-29 03:03:26 +02:00
ef255c9f0f
This reverts commit a2c7c46d5e.
Since apparently there have been some mistakes in this commit, and it's
not clear yet how to solve them, we're reverting for now.
70 KiB
70 KiB