<?php
/**
 * PHP_VERSION_ID se define como un número, donde a mayor número,
 * más reciente es la versión de PHP utilizada. Se define como en
 * la expresión anterior:
 *
 * $version_id = $major_version * 10000 + $minor_version * 100 + $release_version;
 *
 * Ahora, con PHP_VERSION_ID, se pueden verificar las funcionalidades
 * que esta versión de PHP puede tener, lo que evita usar version_compare()
 * cada vez que se verifica si la versión actual de PHP puede no
 * soportar una funcionalidad.
 *
 * Por ejemplo, aquí se pueden definir las constantes PHP_*_VERSION que no
 * están disponibles en versiones a 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.
}
?>