Wikipedia-specific Google searchbox
The default Wikipedia search engine can be slow and unreliable. Luckily, alternatives are available, such as a customized Google searchbox, already preset to search Wikipedia: [1]
Cut and paste it to your Userpage, or click on it, and save it as a button on your browser's toolbar.
Read more: Using external search engines