php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

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
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: gdoliner at misg dot com
New email:
PHP Version: OS:

 

 [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

Pull Requests

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-2024 The PHP Group
All rights reserved. 		Last updated: Sat Dec 21 13:01:31 2024 UTC