<?php
/**
* PHP_VERSION_ID は数値として定義されており、数字が大きいほど PHP の
* バージョンが新しいことになります。その定義は、上で使用しているような
* 式となります。
*
* $version_id = $major_version * 10000 + $minor_version * 100 + $release_version;
*
* PHP_VERSION_ID を使えば、その PHP のバージョンで使える機能を調べる
* ことができます。ある機能に対応しているかどうかを調べるために、毎回
* version_compare() を使う必要がなくなります。
*
* たとえば、PHP 5.2.7 より前のバージョンには存在しない定数
* PHP_VERSION_* を、次のように定義することができます。
*/
if (PHP_VERSION_ID < 50207) {
define('PHP_MAJOR_VERSION', $version[0]);
define('PHP_MINOR_VERSION', $version[1]);
define('PHP_RELEASE_VERSION', $version[2]);
// などなど
}
?>