Doc #80401 [NEW]: Inaccurate documentation on gettype (for Integer)

From: receive dot attachments at gmail dot com Operating system: PHP version: Irrelevant Package: Unknown/Other Function Bug Type: Documentation Problem Bug description:Inaccurate documentation on gettype (for Integer) Description: ------------ On the Gettype page you have mixed messaging, some of which is inaccurate. Early on the page you report that: ------ Possible values for the returned string are: "bool" "int" ... ----- While further down, you more accurately assert that ----- The above example will output something similar to: integer ... ----- The second statement is accurate, and the first statement is misleading (about the value returned when dealing with an integer --- From manual page: https://php.net/function.gettype --- Test script: --------------- echo gettype(9); //print "integer", not "int" -- Edit bug report at https://bugs.php.net/bug.php?id=80401&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80401&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80401&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80401&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80401&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80401&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80401&r=support Expected behavior: https://bugs.php.net/fix.php?id=80401&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80401&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80401&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80401&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80401&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80401&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80401&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80401&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80401&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80401&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80401&r=mysqlcfg