#36534 [WFx]: Need for a search box in the downloadable HTML documentation

ID: 36534 User updated by: mathieu dot bonnet at nalkym dot org Reported By: mathieu dot bonnet at nalkym dot org Status: Wont fix Bug Type: Website problem PHP Version: Irrelevant New Comment: > > If what we provide isn't good enough for you, feel free to > build your own: > http://doc.php.net/php/dochowto/part-generating-output.php > If I felt I was the only one to need a simple search box, or the user notes (see bug #36533), in an easily and officialy downloadable PHP HTML documentation, I would not have reported it as "website problems"... I reported the need for a search box, because I feel it might be useful to people using the PHP downloadable HTML documentation... If you feel it is not a global need, then it's ok, I'll just edit my own download, to add this search box, and readd it every time I download a new update... You might, for example, consider the user should better configure and use its browser search box feature (if available), and it is already documented in the "Quick Reference Tips" page... For the users who use this feature, having another search box in the offline manual pages might be redundant, so you might indeed not add it... As far as I'm concerned, I prefer a search box inside the manual, because the browser header (and the browser search box) if too far from the center of my screen... (and my field of vision). It's easier and quicker to type something in a search box inside the manual page, rather than outside my standard field of vision. I posted this report, because I felt it might be the case for most people... (more or less unconsciously) Now, again, if you don't think it is (and feel redundancy is bad or not worth in this case), then I will not insist. Previous Comments: ------------------------------------------------------------------------ [2006-02-26 17:16:24] sean@php.net If what we provide isn't good enough for you, feel free to build your own: http://doc.php.net/php/dochowto/part-generating-output.php Each generation run can take several hours (thus, livedocs). S ------------------------------------------------------------------------ [2006-02-26 14:09:18] mathieu dot bonnet at nalkym dot org As said in bug #36533, I don't think LiveDocs is the solution, for now. ------------------------------------------------------------------------ [2006-02-26 11:30:20] mathieu dot bonnet at nalkym dot org (corrected the summary... sorry, Firefox password remembering problem -it remembered the summary and exchanged it...) ------------------------------------------------------------------------ [2006-02-26 11:17:08] mathieu dot bonnet at nalkym dot org Something like this: ######################################## <form action="http://www.php.net/search.php" method="post"> <fieldset> <legend>Search PHP online documentation, website and mailing lists</legend> <label><b>Search keywords</b>: <input type="text" name="pattern" value="" size="30" accesskey="s" /> </label> <label><b>Source</b>: <select name="show"> <option value="quickref" selected="selected">PHP function list</option> <option value="manual">Whole PHP online documentation</option> <option value="wholesite">Whole PHP website</option> <option value="bugdb">PHP bug database</option> <option value="maillist">PHP general mailing list</option> <option value="devlist">PHP developer mailing list</option> <option value="phpdoc">PHP documentation mailing list </option> </select> </label> <button type="submit">Search online</button> </fieldset> </form> ######################################## ------------------------------------------------------------------------ [2006-02-26 11:13:01] mathieu dot bonnet at nalkym dot org Description: ------------ It would be nice to have a simple search box in the PHP downloadable HTML documentation, at the top of the index page... (no need to have it on each page). It would redirect to the PHP website search results page. (To avoid having an header too tall, the list of major contributors should be put on a single line (and the other informations should also be compressed). I guess the user may use stylesheets to modify this, but I do not see any need to have an header that tall.) ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=36534&edit=1