MediaWiki:Group-user.js

Z Wikisłownika – wolnego słownika wielojęzycznego

Uwaga: aby zobaczyć zmiany po opublikowaniu, może zajść potrzeba wyczyszczenia pamięci podręcznej przeglądarki.

  • Firefox / Safari: Przytrzymaj Shift podczas klikania Odśwież bieżącą stronę, lub naciśnij klawisze Ctrl+F5, lub Ctrl+R (⌘-R na komputerze Mac)
  • Google Chrome: Naciśnij Ctrl-Shift-R (⌘-Shift-R na komputerze Mac)
  • Internet Explorer / Edge: Przytrzymaj Ctrl, jednocześnie klikając Odśwież, lub naciśnij klawisze Ctrl+F5
  • Opera: Naciśnij klawisze Ctrl+F5.
// Umieszczony tutaj kod JavaScript zostanie załadowany wyłącznie przez zalogowanych użytkowników

/**
 * Tymczasowe. Usuwa z preferencji nieużywaną opcję dot. gadżetu translation-editor,
 * którego moduł wywoławczy obecnie nazywa się translation-editor-launcher.
 * Obecność starej opcji wymusza bezwarunkowe ładowanie ~60 kB kodu.
 * Ustawiono 26/05/20.
 */
mw.loader.using( [ 'mediawiki.user', 'mediawiki.api' ] ).done( function () {
	if ( mw.user.options.exists( 'gadget-translation-editor' ) ) {
		new mw.Api().postWithToken( 'csrf', {
			action: 'options',
			reset: true,
			resetkinds: 'unused'
		} );
	}
} );