[GIT-PULLS] [php-src] PR #22814: main: change some PHP globals to zend_string* and uint32_t

[email protected] (Girgias) Thu, 30 Jul 2026 08:46:00 +0000
Newsgroups php.git-pulls
Message-ID <y7jIDdX6cVuYAYDTCD103vq01BvYU5Wkpu6UYZHc7tg@main.internal.php.net>
Pull Request: https://github.com/php/php-src/pull/22814

Closed by Girgias.