MediaWiki:Gadget-searchFocus.js

// ( function ( mw, $ ) { if ( mw.config.get( 'wgIsMainPage' ) ) {    $( document ).ready( function  { $( '#searchInput' ).focus; } ); } } )( mediaWiki, jQuery ); //