From f10d35baab27bb6316678e6a804a814fa3c8ccd7 Mon Sep 17 00:00:00 2001
From: Andrea Faulds <ajf@php.net>
Date: Tue, 13 Oct 2015 15:39:15 +0000
Subject: [PATCH] Update integer docs for PHP 7: not 32-bit on Windows,
 PHP_INT_MIN exists

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

diff --git a/language/types/integer.xml b/language/types/integer.xml
index 158dae9e5b..2b589b89c9 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -91,11 +91,13 @@ integer     : [+-]?decimal
   <para>
    The size of an <type>integer</type> is platform-dependent, although a maximum
    value of about two billion is the usual value (that's 32 bits signed).
-   64-bit platforms usually have a maximum value of about 9E18, except for
-   Windows, which is always 32 bit. PHP does not support unsigned
-   <type>integer</type>s. <type>Integer</type> size can be determined using
-   the constant <constant>PHP_INT_SIZE</constant>, and maximum value using the
-   constant <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and PHP 5.0.5.
+   64-bit platforms usually have a maximum value of about 9E18, except on
+   Windows prior to PHP 7, where it was always 32 bit. PHP does not support
+   unsigned <type>integer</type>s. <type>Integer</type> size can be determined
+   using the constant <constant>PHP_INT_SIZE</constant>, maximum value using
+   the constant <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and PHP 5.0.5,
+   and minimum value using the constant <constant>PHP_INT_MIN</constant> since
+   PHP 7.0.0.
   </para>
 
   <warning>