MediaWiki:Gadget-InlineSearch.js

Nota: Después de publicar, quizás necesite actualizar la caché de su navegador para ver los cambios.

• Firefox/Safari: Mantenga presionada la tecla Shift mientras pulsa el botón Actualizar, o presiona Ctrl+F5 o Ctrl+R (⌘+R en Mac)
• Google Chrome: presione Ctrl+Shift+R (⌘+Shift+R en Mac)
• Edge: mantenga presionada Ctrl mientras pulsa Actualizar, o presione Ctrl+F5

/**
 * InlineSearch interactúa con la [[Plantilla:Buscar]] para mostrar resultados de búsqueda dentro de las páginas
 * Documentación: https://www.mediawiki.org/wiki/InlineSearch
 * Código fuente: https://www.mediawiki.org/wiki/MediaWiki:Gadget-Global-InlineSearch.js
 */
mw.loader.load( '//www.mediawiki.org/w/load.php?modules=ext.gadget.Global-InlineSearch' );