php-in-php: phpversion($extension) — must resolve registered ext/* modules (zip, spl, filter, …) (ext/standard/info.c)

[PurHur]

Category

stdlib · php-in-php · bootstrap

Problem

phpversion($extension) and extension_loaded($extension) read a hard-coded two-entry list in ext/standard/VmInfo.php (LOADED_EXTENSIONS = ['standard', 'types']).

Compiled modules under ext/*/ (zip, spl, filter, bcmath, mbstring, intl, session) register classes/functions but do not appear in extension introspection:

Probe	Today (vm.php)
extension_loaded('zip')	false while class_exists('ZipArchive') is true
phpversion('zip')	false
extension_loaded('spl')	false while class_exists('ArrayObject') is true

Parent issue #4839 tracks get_loaded_extensions() full registry; this issue is the phpversion() / extension_loaded() consumer slice workers can land incrementally.

php-src reference

• php/php-src ext/standard/info.c — PHP_FUNCTION(phpversion), extension_loaded
• php/php-src main/php_version.h — per-extension version strings

Repro (today)

<?php
var_export(extension_loaded('zip'));
echo "\n";
var_export(class_exists('ZipArchive'));
echo "\n";
var_export(phpversion('zip'));
echo "\n";
var_export(phpversion('standard'));
echo "\n";

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php repro.php
php bin/vm.php repro.php'

Scope (this repo)

Layer	Files
Registry	ext/standard/VmInfo.php — build extension name set from Runtime module list / ext/*/Module.php
Builtins	extension_loaded.php, phpversion() helper
JIT	lib/JIT/Builtin/Type/JitInfo.php
Tests	extend test/compliance/cases/stdlib/extension_loaded.phpt

PHP-in-PHP: derive registry in PHP; delete any duplicate hard-coded tables in C when present.

Done when

• Repro: extension_loaded('zip') true when ext/zip/Module.php loaded; phpversion('zip') returns compiler version string (or module version constant)
• extension_loaded('spl') true when SPL module registers ArrayObject
• ./script/ci-fast.sh --filter extension_loaded green
• Pairs with Stdlib: get_loaded_extensions() — full module registry parity (phase 2 of #3204) #4839 (full get_loaded_extensions() list parity)

Labels

stdlib, php-in-php, bootstrap, implementation-ready

[PurHur]

Implementation-ready spec expansion (parity backlog architect, 2026-06-06)

Verified repro (today)

<?php
declare(strict_types=1);
foreach ([
    ['zip', 'ZipArchive'],
    ['spl', 'ArrayObject'],
    ['filter', 'FILTER_VALIDATE_INT'],
    ['bcmath', 'bcadd'],
    ['mbstring', 'mb_strlen'],
] as [$ext, $probe]) {
    echo $ext,
        ' extension_loaded=', var_export(extension_loaded($ext), true),
        ' phpversion=', var_export(phpversion($ext), true),
        ' probe=', var_export(
            str_contains($probe, '::')
                ? class_exists(explode('::', $probe, 2)[0])
                : (class_exists($probe) || function_exists($probe) || defined($probe)),
            true
        ),
        "\n";
}
echo 'standard phpversion=', var_export(phpversion('standard'), true), "\n";

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php repro.php > /tmp/zend.txt
php bin/vm.php repro.php > /tmp/vm.txt
diff -u /tmp/zend.txt /tmp/vm.txt || true
'

Expected gap (vm.php Jun 2026)

Probe	Zend	vm.php typical
extension_loaded('zip')	true	false while class_exists('ZipArchive') true
phpversion('zip')	version string	false
extension_loaded('spl')	true	false while ArrayObject exists
phpversion('standard')	PHP version	may be false / hard-coded slice

Root cause: ext/standard/VmInfo.php LOADED_EXTENSIONS = ['standard', 'types'] only.

php-src reference (implementation)

• ext/standard/info.c — phpversion, extension_loaded, get_loaded_extensions
• Module init registers extension name + version per ext/*/Module.php

Done-when (worker checklist)

• Build extension registry from Runtime module load order (not a hand-maintained list)
• Repro diff empty for extension_loaded / phpversion rows when module loaded
• JIT: lib/JIT/Builtin/Type/JitInfo.php reads same registry
• ./script/ci-fast.sh --filter extension_loaded green
• Unblocks Stdlib: get_loaded_extensions() — full module registry parity (phase 2 of #3204) #4839 get_loaded_extensions() full list

PHP-in-PHP

Registry in ext/standard/VmInfo.php (+ optional ExtensionRegistry.php); delete duplicate hard-coded tables if any appear in C.

[PurHur]

claim: PHP Runtime → PHP — starting this run (#6372: ModuleRegistry already wires ext/* modules; fix extension_loaded compliance test + add zip/spl/phpversion coverage, merge if green).

[PurHur]

Merged via PR #7631.

Verification:
```bash
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/extension_loaded_6372.php
php vendor/bin/phpunit --filter "extension_loaded_in_tree|ModuleRegistryTest|StringInfoRuntimeStandaloneTest"
'
```
→ VM repro: `extension_loaded('zip'|'spl') true, \phpversion('zip'|'spl')` returns compiler version; PHPUnit OK (5 tests, 32 assertions).

Implementation: `ModuleRegistry` populated from `Runtime::load()` for all `ext/*/Module.php`; `VmInfo` + `StringInfo` JIT read registry (no hard-coded list). Pairs with #4839 / #7190.