<?php
// PHP_VERSION_ID ist von PHP 5.2.7 an verfügbar;
// emuliere es unter älteren Versionen
if (!defined('PHP_VERSION_ID')) {
$version = explode('.', PHP_VERSION);
define('PHP_VERSION_ID', ($version[0] * 10000 + $version[1] * 100 + $version[2]));
}
// PHP_VERSION_ID ist als Zahl definiert; je höher diese ist,
// desto neuer ist die PHP-Version. Es ist wie oben angegeben definiert:
//
// $version_id = $major_version * 10000 + $minor_version * 100 + $release_version;
//
// Nun kann PHP_VERSION_ID verwendet werden, um zu prüfen, ob diese PHP-Version
// bestimmte Features unterstützt, ohne jedesmal version_compare() verwenden zu
// müssen, um zu prüfen, ob die aktuelle PHP-Version bestimmte Features nicht
// unterstützt.
//
// Beispielsweise können wir so die PHP_VERSION_*-Konstanten definieren,
// die in Versionen vor 5.2.7 nicht verfügbar waren.
if (PHP_VERSION_ID < 50207) {
define('PHP_MAJOR_VERSION', $version[0]);
define('PHP_MINOR_VERSION', $version[1]);
define('PHP_RELEASE_VERSION', $version[2]);
// und so weiter, ...
}
?>