mirror of
https://github.com/php/php-src.git
synced 2026-03-29 19:52:20 +02:00
These cause test failures when we migrate resources to objects. But anyway, hardcoding the object IDs and the number of properties is hardly ever useful, so it's fine to get rid of them. Related to #14121