#36534 [NEW]: Need for user notes in downloadable HTML documentation

From: mathieu dot bonnet at nalkym dot org Operating system: PHP version: Irrelevant PHP Bug Type: Website problem Bug description: Need for user notes in downloadable HTML documentation 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 bug report at http://bugs.php.net/?id=36534&edit=1 -- Try a CVS snapshot (PHP 4.4): http://bugs.php.net/fix.php?id=36534&r=trysnapshot44 Try a CVS snapshot (PHP 5.1): http://bugs.php.net/fix.php?id=36534&r=trysnapshot51 Try a CVS snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=36534&r=trysnapshot60 Fixed in CVS: http://bugs.php.net/fix.php?id=36534&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=36534&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=36534&r=needtrace Need Reproduce Script: http://bugs.php.net/fix.php?id=36534&r=needscript Try newer version: http://bugs.php.net/fix.php?id=36534&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=36534&r=support Expected behavior: http://bugs.php.net/fix.php?id=36534&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=36534&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=36534&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=36534&r=globals PHP 3 support discontinued: http://bugs.php.net/fix.php?id=36534&r=php3 Daylight Savings: http://bugs.php.net/fix.php?id=36534&r=dst IIS Stability: http://bugs.php.net/fix.php?id=36534&r=isapi Install GNU Sed: http://bugs.php.net/fix.php?id=36534&r=gnused Floating point limitations: http://bugs.php.net/fix.php?id=36534&r=float No Zend Extensions: http://bugs.php.net/fix.php?id=36534&r=nozend MySQL Configuration Error: http://bugs.php.net/fix.php?id=36534&r=mysqlcfg