MediaWiki:Gadget-extsearch-disable-others.js
Merk: Etter publisering vil det kanskje være nødvendig å slette mellomlageret i nettleseren din for å se endringene.
- Firefox / Safari: Hold Shift mens du klikker på Oppdater, eller trykk enten Ctrl+F5 eller Ctrl+R (⌘+R på Mac)
- Google Chrome: Trykk Ctrl+Shift+R (⌘+Shift+R på Mac)
- Internet Explorer / Edge: Hold Ctrl mens du trykker på Oppdater eller trykk Ctrl+F5
- Opera: Ttrykk Ctrl+F5.
/**
* «Hjelpetilleggsfunksjon» for [[MediaWiki:Gadget-extsearch.js]].
*
* Formålet med denne tilleggsfunksjonen er å slå av de gamle
* søketilleggsfunksjonene, slik at det ikke blir dobbelt opp. Etter en stund
* kan de gamle tilleggsfunksjonene deaktiveres helt.
*
* @author Jon Harald Søby
* @version 1.0.2 (2023-04-03)
*/
( function() {
var newconf = JSON.parse( mw.user.options.get( 'userjs-extsearch' ) ) || [];
var prefmatrix = {
'gadget-bibsys-litterature-search': 'oria',
'gadget-bibsys-biblio-search': 'oria',
'gadget-wikipedia-library-search': 'twl',
'gadget-oslobilder-search': 'oslobilder',
'gadget-digitaltmuseum-search': 'digitaltmuseum',
'gadget-bokhylla-search': 'bokhylla',
'gadget-kulturminne-search': 'kulturminnesok',
'gadget-ssr-search': 'ssr'
};
var changeprefs = [ 'gadget-extsearch=1' ];
for ( var pref in prefmatrix ) {
if ( mw.user.options.get( pref ) ) {
if ( !newconf.includes( prefmatrix[ pref ] ) ) {
newconf.push( prefmatrix[ pref ] );
}
changeprefs.push( pref + '=0' );
}
}
if ( JSON.stringify( newconf ) === mw.user.options.get( 'userjs-extsearch' ) ) {
return;
}
changeprefs.push( 'userjs-extsearch=' + JSON.stringify( newconf ) );
return new mw.Api().postWithEditToken( {
action: 'options',
change: changeprefs.join( '|' ),
format: 'json',
formatversion: 2
} ).then( function( data ) {
console.log( 'MediaWiki:Gadget-extsearch.js: Successfully changed user options' );
console.log( data );
});
} )();