mirror of
https://github.com/php/php-src.git
synced 2026-03-28 18:22:42 +01:00
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.
164 KiB
164 KiB