Please use PHP_VERSION_ID.