[GIT-PULLS] [php-src] PR #22847: streams: various small refactoring for stream error API

[email protected] (Girgias) Tue, 28 Jul 2026 12:44:02 +0000
Newsgroups php.git-pulls
Message-ID <[email protected]>
Pull Request: https://github.com/php/php-src/pull/22847

Closed by Girgias.