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
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: 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-2020 The PHP Group
All rights reserved.
Last updated: Fri Sep 25 07:01:23 2020 UTC