Just wanted to let you all know I've created specialist search providers for the search box in Internet Explorer 7 that allow you to search the online documentation for PHP and for MySQL. You can get them here . Any suggestions of other useful PHP searches to add to these are welcome.
