php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #23704 no ability to search user added notes
Submitted: 2003-05-19 13:27 UTC Modified: 2003-05-19 14:53 UTC
Votes:1
Avg. Score:4.0 ± 0.0
Reproduced:1 of 1 (100.0%)
Same Version:1 (100.0%)
Same OS:1 (100.0%)
From: gdoliner at misg dot com Assigned:
Status: Wont fix Package: Website problem
PHP Version: 4.3.1 OS: n/a
Private report: No CVE-ID: None
Have you experienced this issue?
Rate the importance of this bug to you:

 [2003-05-19 13:27 UTC] gdoliner at misg dot com
In the quick search at the top of the page there is no option to search the user-submitted notes/comments. I often find some useful piece of information in a random place, and later try to find it but can't. It seems like at some time it was possible to search the notes, but I can't remember for sure.

Is there a reason for not having this? Seems like it wouldn't be hard to implement, and it wouldn't hurt anything.

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2003-05-19 14:53 UTC] goba@php.net
Hm, it wouldn't be easy to implement either. We have the notes in base64 encoded text chunks on mirrors. File searching in these would be a pain. There were no time we had search support in user commments. As the manual and whole site search options are using an index built from the http frontend of the servers, the user note results in the list of the search results anyway.
 
PHP Copyright © 2001-2019 The PHP Group
All rights reserved.
Last updated: Mon Mar 25 04:01:26 2019 UTC