php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #60137 wrong Judy type
Submitted: 2011-10-26 06:27 UTC Modified: 2011-11-01 22:18 UTC
From: polkolop at hotmail dot com Assigned: salathe (profile)
Status: Closed Package: Documentation problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: polkolop at hotmail dot com
New email:
PHP Version: OS:

 

 [2011-10-26 06:27 UTC] 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


Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2011-11-01 22:16 UTC] 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-11-01 22:18 UTC] salathe@php.net
-Package: SPL related +Package: Documentation problem
 [2011-11-01 22:18 UTC] salathe@php.net
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.


 [2011-11-01 22:18 UTC] salathe@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: salathe
 
PHP Copyright © 2001-2026 The PHP Group
All rights reserved.
Last updated: Thu Oct 08 22:00:01 2026 UTC