<?php
/**
* PHP_VERSION_ID est défini comme un nombre, où plus le nombre est élevé,
* plus la version de PHP utilisée est récente. Il est défini comme dans
* l'expression ci-dessus :
*
* $version_id = $major_version * 10000 + $minor_version * 100 + $release_version;
*
* Maintenant, avec PHP_VERSION_ID, nous pouvons vérifier les fonctionnalités
* que cette version de PHP peut avoir, ce qui évite d'utiliser version_compare()
* à chaque fois que l'on vérifie si la version de PHP actuelle peut ne pas
* prendre en charge une fonctionnalité.
*
* Par exemple, nous pouvons ici définir les constantes PHP_*_VERSION qui ne
* sont pas disponibles dans les versions à partir de 5.2.7.
*/
if (PHP_VERSION_ID < 50207) {
define('PHP_MAJOR_VERSION', $version[0]);
define('PHP_MINOR_VERSION', $version[1]);
define('PHP_RELEASE_VERSION', $version[2]);
// etc.
}
?>