<?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.
}
?>