Doc #60137 [Opn->Csd]: wrong Judy type

Edit report at https://bugs.php.net/bug.php?id=60137&edit=1 ID: 60137 Updated by: salathe@php.net Reported by: polkolop at hotmail dot com Summary: wrong Judy type -Status: Open +Status: Closed Type: Documentation Problem Package: Documentation problem PHP Version: Irrelevant -Assigned To: +Assigned To: salathe Block user comment: N Private report: N New Comment: This bug has been fixed in the documentation's XML sources. Since the online and downloadable versions of the documentation need some time to get updated, we would like to ask you to be a bit patient. Thank you for the report, and for helping us make our documentation better. Previous Comments: ------------------------------------------------------------------------ [2011-11-01 22:16:46] salathe@php.net Automatic comment from SVN on behalf of salathe Revision: http://svn.php.net/viewvc/?view=revision&amp;revision=318661 Log: typo fix (Judy::INT_TO_STRING to Judy::INT_TO_MIXED) (doc #60137) ------------------------------------------------------------------------ [2011-10-26 06:27:00] polkolop at hotmail dot com 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 this bug report at https://bugs.php.net/bug.php?id=60137&edit=1