PHP_VERSION指什么

<?php
// PHP_VERSION_ID 自 PHP 5.2.7 起有效，
// 如果我们的版本低于该版本，则用以下代码来模拟 
if (!defined(&#39;PHP_VERSION_ID&#39;)) {
    $version = explode(&#39;.&#39;, PHP_VERSION);

    define(&#39;PHP_VERSION_ID&#39;, ($version[0] * 10000 + $version[1] * 100 + $version[2]));
}

// PHP_VERSION_ID 定义为一个数字，PHP 版本越新，数字越大。
// 它的定义是以下的表达式：
//
// $version_id = $major_version * 10000 + $minor_version * 100 + $release_version;
//
// 现在我们可以通过 PHP_VERSION_ID 来检查 PHP 版本，
// 而不用每次都必须用 version_compare() 来检查 PHP 是否支持某个功能。
//
// 比如，我们在此可以定义一系列 PHP_VERSION_* constants 常量，
// 而在 5.2.7 之前的版本并没有被定义。

if (PHP_VERSION_ID < 50207) {
    define(&#39;PHP_MAJOR_VERSION&#39;,   $version[0]);
    define(&#39;PHP_MINOR_VERSION&#39;,   $version[1]);
    define(&#39;PHP_RELEASE_VERSION&#39;, $version[2]);

    // 等等， ...
}
?>