From 1af0bad5893cc0b24dcf5876a59fa93fb374866a Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Wed, 28 Mar 2007 10:40:02 +0000
Subject: [PATCH] Mention PHP_INT_ constants

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@232860 c90b9560-bf6c-de11-be94-00142212c4b1
---
 language/types.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/language/types.xml b/language/types.xml
index 542b22c1c2..1a6b15f6b8 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.177 $ -->
+<!-- $Revision: 1.178 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -374,6 +374,9 @@ integer     : [+-]?decimal
       maximum value of about two billion is the usual value 
       (that's 32 bits signed). PHP does not support unsigned
       integers.
+      Integer size can be determined from <constant>PHP_INT_SIZE</constant>,
+      maximum value from <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and
+      PHP 5.0.5.
      </para>
      <warning>
       <para>