Doc #60137 [NEW]: wrong Judy type

From: Operating system: PHP version: Irrelevant Package: SPL related Bug Type: Documentation Problem Bug description:wrong Judy type Description: ------------ --- From manual page: http://www.php.net/class.judy --- A PHP Judy object (or Judy Array) can be one of the following type : Judy::BITSET Judy::INT_TO_INT Judy::INT_TO_STRING <--- should be INT_TO_MIXED Judy::STRING_TO_INT Judy::STRING_TO_MIXED -- Edit bug report at https://bugs.php.net/bug.php?id=60137&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=60137&r=trysnapshot54 Try a snapshot (PHP 5.3): https://bugs.php.net/fix.php?id=60137&r=trysnapshot53 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=60137&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=60137&r=fixed Fixed in SVN and need be documented: https://bugs.php.net/fix.php?id=60137&r=needdocs Fixed in release: https://bugs.php.net/fix.php?id=60137&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=60137&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=60137&r=needscript Try newer version: https://bugs.php.net/fix.php?id=60137&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=60137&r=support Expected behavior: https://bugs.php.net/fix.php?id=60137&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=60137&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=60137&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=60137&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=60137&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=60137&r=dst IIS Stability: https://bugs.php.net/fix.php?id=60137&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=60137&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=60137&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=60137&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=60137&r=mysqlcfg