<?php
// PHP_VERSION_ID está disponível a partir do PHP 5.2.7, se a
// versão for mais antiga que esta, a constante pode ser emulada
if (!defined('PHP_VERSION_ID')) {
$version = explode('.', PHP_VERSION);
define('PHP_VERSION_ID', ($version[0] * 10000 + $version[1] * 100 + $version[2]));
}
// PHP_VERSION_ID é definida como um número, onde quanto mais alto ele
// for, mais recente é a versão do PHP usada. É definida como usada na expressão
// abaixo:
//
// $id_versao = $versao_principal * 10000 + $versao_secundaria * 100 + $versao_distribuicao;
//
// Agora com PHP_VERSION_ID pode-se procurar por recursos que esta versão do PHP
// possa ter, e não será necessário usar version_compare() toda vez
// para verificar se a versão atual do PHP pode ou não suportar um recurso.
//
// Por exemplo, pode-se definir aqui as constantes PHP_VERSION_* que
// não estão disponíveis em versões anteriores à 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]);
// and so on, ...
}
?>