Extension:Gadgets/Scripts/SearchFocus.js

// Imported from [[w:MediaWiki:Gadget-searchFocus.js]] as of September 16, 2023

if ( mw.config.get( 'wgIsMainPage' ) ) {
  $( function () {
    $( '#searchInput' ).focus();
  } );
}