[php-src] Issue #8738: `opcache` should not be honored by `--EXTENSIONS--` section when run in CI

[email protected] (Girgias) Tue, 23 Jun 2026 17:28:45 +0000

Newsgroups	php.bugs
Message-ID	<[email protected]>

Issue: https://github.com/php/php-src/issues/8738

Closed by Girgias.