[php-src] Issue #22817: The array_keys function casts the keys
[email protected] (Girgias) Mon, 20 Jul 2026 13:28:12 +0000
| Newsgroups | php.bugs |
|---|---|
| Message-ID | <[email protected]> |
Issue: https://github.com/php/php-src/issues/22817 Closed by Girgias.