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
Anyone can comment on a bug. Have a simpler test case? Does it work for you on a different platform? Let us know!
Just going to say 'Me too!'? Don't clutter the database with that please — but make sure to vote on the bug!
Your email address:
MUST BE VALID
Solve the problem:
13 - 6 = ?
Subscribe to this entry?

 
 [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-2024 The PHP Group
All rights reserved. 		Last updated: Tue Apr 23 17:01:31 2024 UTC