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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Password:
Status:
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

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: Sun Sep 22 04:01:25 2019 UTC