[Mediawiki-l] Display our wiki search box on another page

[HKAirpost]

Hello,

I need to embed a widget allowing searching our wiki from another page. 
Hitting search button will open our wiki to display results.

How would you advise doing this?

http://www.wikipedia.org is doing this calling search-redirect.php. I 
don't have this script availaible in my 1.15 copy. Any pointer about 
where to find it?

Many thanks
hka.