php.net |  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
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: pepper at w3pg dot com
New email:
PHP Version: OS:

 

 [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: Thu Nov 14 21:01:41 2019 UTC