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

go to bug id or search bugs for

Doc Bug #40672 No online search for the manual only.
Submitted: 2007-02-28 20:36 UTC Modified: 2007-03-08 01:00 UTC
From: pepper at w3pg dot com Assigned:
Status: No Feedback Package: Documentation problem
PHP Version: Irrelevant OS: any
Private report: No CVE-ID: None
View Add Comment Developer Edit
Have you experienced this issue?
Rate the importance of this bug to you:

 [2007-02-28 20:36 UTC] pepper at w3pg dot com 
Description:
------------
There is no way to search the PHP manual only at the offical PHP website (http://us3.php.net/manual/en/index.php).

Or so it seems -- forgive me if I've missed it.

The search field at the top of each page defaults to "function list" as the target for searches. Options include many different web sites, but none provide a search of the manual itself.

It would be extremely helpful to have a search of the PHP manual available.

Thanks very much.

PS: The "make a request or suggestion" link drops off on the "report a bug" page w/ no reference to requests or suggestions after that.

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2007-02-28 20:43 UTC] philip@php.net 
Isn't the "online documentation" option what you want?
 [2007-03-08 01:00 UTC] phpdoc at lists dot php dot net 
No feedback was provided for this bug for over a week, so it is
being suspended automatically. If you are able to provide the
information that was originally requested, please do so and change
the status of the bug back to "Open".
 
PHP Copyright © 2001-2019 The PHP Group
All rights reserved. 		Last updated: Tue Nov 19 00:01:39 2019 UTC