Searched refs:PHP_80_VERSION_ID (Results 1 – 1 of 1) sorted by relevance
23 const PHP_80_VERSION_ID = 80000; define30 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 28 milliseconds