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