Home
last modified time | relevance | path

Searched refs:PHP_80_VERSION_ID (Results 1 – 1 of 1) sorted by relevance

/php-src/build/
H A Dgen_stub.php23 const PHP_80_VERSION_ID = 80000; define
30 PHP_80_VERSION_ID,
1611 PHP_80_VERSION_ID => $flags,
2421 PHP_80_VERSION_ID => [$flags],
3152 if ($minPhp < PHP_80_VERSION_ID) {
3512 $code .= "\n#if (PHP_VERSION_ID >= " . PHP_80_VERSION_ID . ")";
3531 $code .= "#if (PHP_VERSION_ID >= " . PHP_80_VERSION_ID . ")";
3543 $code .= "#if (PHP_VERSION_ID >= " . PHP_80_VERSION_ID . ")";
3633 PHP_80_VERSION_ID => $php80Flags,
4195 $this->minimumPhpVersionIdCompatibility < PHP_80_VERSION_ID
[all …]

Completed in 17 milliseconds