mirror of
https://github.com/php/php-src.git
synced 2026-04-13 11:02:55 +02:00
This reverts commit 5b01c4863f.
The previous commit fixes the 32-bit issue. Maybe this one is also
needed, but let's see if any failures of this form turn up first.