<?php
/**
* 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, ...
}
?>