Extension:Gadgets/Scripts/SearchFocus.js

// Imported from http://en.wikipedia.org/wiki/MediaWiki:Gadget-searchFocus.js as of June 4, 2009
if (
        wgPageName == 'Main_Page' ||
        typeof( wgMainPageTitle ) != 'undefined' && wgPageName == wgMainPageTitle
)
{
        addOnloadHook( function() {
                document.getElementById( 'searchInput' ).focus();
        });
}