MediaWiki:Gadget-Wdsearch.js

Opmerking: na het publiceren moet je misschien je browsercache legen om de veranderingen te zien.

Firefox / Safari: houd Shift ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
Edge: houd Ctrl ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5.

/**
 * An easy gadget to use https://en.wiki.x.io/wiki/MediaWiki:Wdsearch.js
 **/

if ( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Search' ||  ( mw.config.get( 'wgArticleId' ) === 0 && mw.config.get( 'wgCanonicalSpecialPageName' ) === false ) ) {
	mw.loader.load("//en.wiki.x.io/w/index.php?title=MediaWiki:Wdsearch.js&action=raw&ctype=text/javascript");
}