MediaWiki:Gadget-EnhancedSearch.js: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Explorar interativamente o histórico
Ver a alteração posterior →
Conteúdo apagado Conteúdo adicionado
Rjclaudio (discussão | contribs)
90 379 edições
Pequeno código para carregar o módulo ext.gadget.EnhancedSearchCore quando ele for útil - pedido em WP:PA/PP
 
Rjclaudio (discussão | contribs)
90 379 edições
Linha 3: Linha 3:


if( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Search' ) {
if( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Search' ) {
importScript( 'MediaWiki:Gadget-EnhancedSearch.js/Core.js' );
mw.loader.load( 'ext.gadget.EnhancedSearchCore' );
}
}

Revisão das 20h39min de 10 de setembro de 2012

/*jslint white: true */
/*global mw */

if( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Search' ) {
	importScript( 'MediaWiki:Gadget-EnhancedSearch.js/Core.js' );
}
Obtida de "https://pt.wikipedia.org/w/index.php?title=MediaWiki:Gadget-EnhancedSearch.js&oldid=32178987"