#36534 [Opn]: Need for user notes in 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: Open Bug Type: Website problem PHP Version: Irrelevant New Comment: 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> ######################################## Previous Comments: ------------------------------------------------------------------------ [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