Doc #70907 [NEW]: incorrect info about INF

From: slevy1 at pipeline dot com Operating system: n/a PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:incorrect info about INF Description: ------------ --- From manual page: http://www.php.net/math.constants --- "All constants without a labeled PHP version above are available starting with PHP 4.0.0." Except that INF is a constant that is only recognized by PHP4.3.6. Previous versions of PHP 4 do not recognize the unlabeled constant. Expected result: ---------------- I expected PHP4.0.0 to recognize the constant INF. It does not -- just perceives the string "INF". -- Edit bug report at https://bugs.php.net/bug.php?id=70907&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=70907&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=70907&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=70907&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=70907&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=70907&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=70907&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=70907&r=needscript Try newer version: https://bugs.php.net/fix.php?id=70907&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=70907&r=support Expected behavior: https://bugs.php.net/fix.php?id=70907&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=70907&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=70907&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=70907&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=70907&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=70907&r=dst IIS Stability: https://bugs.php.net/fix.php?id=70907&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=70907&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=70907&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=70907&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=70907&r=mysqlcfg