mirror of
https://github.com/php/php-src.git
synced 2026-04-19 14:01:01 +02:00
The properties table can also contain numeric entries after a rebuild of the table based on the array. Since the array can only contain numeric entries, and the properties table can contain a mix of both, we'll add the numeric entries from the array and only the string entries from the properties table. To implement this we simply check if the key from the properties table is a string. Closes GH-10921.
27 KiB
27 KiB