[GIT-PULLS] [php-src] PR #22833: Tweak lineno compilation

[email protected] (iluuu1994) Fri, 24 Jul 2026 15:00:08 +0000
Newsgroups php.git-pulls
Message-ID <[email protected]>
Pull Request: https://github.com/php/php-src/pull/22833

Closed by iluuu1994.