|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
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
Have you experienced this issue?
Rate the importance of this bug to you:

 [2007-02-28 20:36 UTC] pepper at w3pg dot com
There is no way to search the PHP manual only at the offical PHP website (

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.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2007-02-28 20:43 UTC]
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-2021 The PHP Group
All rights reserved.
Last updated: Sun Feb 28 11:01:24 2021 UTC