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

ID: 36534 Updated by: sean@php.net Reported By: mathieu dot bonnet at nalkym dot org -Status: Open +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 Each generation run can take several hours (thus, livedocs). S Previous Comments: ------------------------------------------------------------------------ [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